ci: re-enable nix #5
garesnix-action-coq-8.18.yml
on: pull_request
coq-elpi
3m 4s
trakt
1m 36s
Verdi
2m 13s
autosubst
1m 40s
coquelicot
1m 59s
deriving
1m 36s
reglang
1m 37s
addition-chains
2m 25s
mathcomp-analysis
0s
odd-order
17m 14s
Annotations
3 errors
|
deriving
Process completed with exit code 1.
|
|
reglang
Process completed with exit code 1.
|
|
mathcomp-classical
Process completed with exit code 1.
|