Skip to content

Attempt to fix Coq CI

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

Coq CI is broken since a few days because it compiles the wrong version of iris, obtained from the OPAM file here in iris-example. Merging this should fix it.

Merge request reports