What is the fastest way to check a given CI contribution? (I am trying to find a suitable commit for MetaCoq for the 8.14 CI.) Just doing make ci-metacoq
fails because it does not find any Coq executable files. Are there other Make targets that I need to build first or some environment variables that I need to set?
make world
is a good start
With the current setup doing make {,-f Makefile.dune} world
is the usual previous step
@Guillaume Melquiond if you've got a commit I can tag just tell me
As far as the CI is concerned, I do not need tags, since hashes are used. (So, tag only if you yourself need one.)
make -f Makefile.dune world
was sufficient for make ci-metacoq
.
Now I am trying to find a suitable pin for Coqtail. But make ci-coqtail
fails with Failed: Failed to create Coqtop instance
. Any idea?
There is a bug open about that, I am not sure what env variable was coqtail using to detect coqtop
The CI runs from an installed Coq so that avoids this problem it seems
Last updated: Dec 01 2023 at 06:01 UTC