Project 'FP/iris-ci' was moved to 'iris/ci'. Please update any links and bookmarks that may still have the old path.
Commits on Source (1)
-
Ralf Jung authored
It leads to ocamlfind being upgraded and downgraded all the time, which leads to Coq being recompiled.
7788488e