-
Notifications
You must be signed in to change notification settings - Fork 638
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Nix CI: follow-up of #14590. #14723
Nix CI: follow-up of #14590. #14723
Conversation
coq-shell is a fake package which depends on Coq. For some reason I do not understand, while Coq is built on CI, it is not uploaded to Cachix and not required when fetching coq-shell from Cachix.
85b2f86
to
c8dfb0a
Compare
Coq is now a managed Cachix so this variable should be defined and we check for its presence. This will avoid failures when building on forks where this is not defined.
c8dfb0a
to
43ab865
Compare
ping @CohenCyril |
Maybe that's because |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, next iteration should use nix path-info
instead
@coqbot merge now!!! |
Build only Coq and not
coq-shell
.For some reason I do not understand, while Coq is built on CI, it is not uploaded to Cachix and not required when fetching
coq-shell
from Cachix.Cf. https://gitlab.com/coq/coq/-/jobs/1464705325 (first success) vs https://gitlab.com/coq/coq/-/jobs/1465481056 (retry).
Test that
CACHIX_AUTH_TOKEN
is set to runpkg:nix:deploy
.Coq has now a managed Cachix so this variable should be defined and we check for its presence. This will avoid failures when building on forks where it is not defined.
CACHIX_AUTH_TOKEN
set at: https://gitlab.com/Zimmi48/coq/-/pipelines/345552922 (nopkg:nix:deploy
job)CACHIX_AUTH_TOKEN
set at: https://gitlab.com/Zimmi48/coq/-/pipelines/345554673 (there is apkg:nix:deploy
job).