ci: re-enable nix #6
garesnix-action-coq-8.18.yml
on: pull_request
coq-elpi
4m 16s
trakt
1m 29s
Verdi
2m 10s
autosubst
1m 27s
coquelicot
2m 13s
deriving
1m 35s
reglang
2m 3s
addition-chains
2m 35s
mathcomp-analysis
0s
odd-order
15m 41s
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.
|