I wanted to ask what a line like
project stdpp "https://gitlab.mpi-sws.org/iris/stdpp" ""
in ci_basic_overlay.sh means. Does Coq CI test the master branch in case no ref is given? Or is it not tested at all?
stdpp has some magic to pick the commit, see ci-iris.sh
Thanks!
Last updated: Oct 13 2024 at 01:02 UTC