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: Mar 02 2024 at 17:02 UTC