ci: re-enable nix #4
Triggered via pull request
October 16, 2023 09:02
gares
Status
Cancelled
Total duration
2m 32s
Artifacts
–
nix-action-coq-8.18.yml
on: pull_request
coq-elpi
2m 5s
trakt
0s
Verdi
0s
autosubst
0s
coquelicot
0s
deriving
0s
reglang
0s
addition-chains
0s
mathcomp-analysis
0s
odd-order
0s