Skip to content

Attempt to fix Coq CI

Pierre Roux requested to merge proux1/examples:update_dependency into master

I don't know if that's the correct way to do it, but this would fix Coq CI which is currently broken because iris-example requires a version of iris that no longer compiles with Coq master.

Merge request reports