Stream: Coq devs & plugin devs

Topic: Interpretation of ci-basic_overlay.sh


view this post on Zulip Michael Soegtrop (Oct 01 2021 at 17:47):

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?

view this post on Zulip Gaƫtan Gilbert (Oct 01 2021 at 17:48):

stdpp has some magic to pick the commit, see ci-iris.sh

view this post on Zulip Michael Soegtrop (Oct 02 2021 at 11:37):

Thanks!


Last updated: Feb 02 2023 at 13:03 UTC