Nix CI for bundle 8.17

Test https://github.com/NixOS/nixpkgs/pull/341171 #578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
HoTT	37s
InfSeqExt	35s
MenhirLib	38s
StructTact	37s
aac-tactics	39s
bbv	34s
bignums	37s
ceres	36s
coq-elpi	38s
coq-ext-lib	34s
LibHyps	38s
coq-hammer-tactics	39s
coqide	36s
coq-record-update	34s
coq-shell	34s
dpdgraph	40s
equations	35s
flocq	34s
high-school-geometry	34s
itauto	33s
metalib	35s
paco	35s
paramcoq	35s
pocklington	35s
rewriter	33s
semantics	34s
serapi	33s
smtcoq	39s
stdpp	34s
zorns-lemma	34s
CoLoR	34s
math-classes	39s
coqprime	35s
trakt	35s
hierarchy-builder	35s
parsec	38s
simple-io	37s
Cheerios	34s
coq-hammer	37s
metacoq-template-coq	34s
compcert	1m 4s
gappalib	1m 4s
ITree	38s
coq-lsp	39s
iris	34s
topology	35s
mathcomp-ssreflect	34s
corn	34s
json	35s
metacoq-pcuic	38s
iris-named-props	40s
VST	36s
itree-io	34s
vcfloat	37s
metacoq-safechecker	35s
QuickChick	35s
category-theory	36s
autosubst	34s
coquelicot	36s
deriving	39s
mathcomp-bigenough	40s
Verdi	36s
mathcomp-fingroup	35s
mathcomp-finmap	34s
reglang	34s
relation-algebra	35s
metacoq-erasure	33s
async-test	35s
extructures	39s
mathcomp-algebra	36s
interval	39s
mathcomp-tarjan	1m 39s
http	35s
fourcolor	39s
addition-chains	34s
gaia	3m 55s
mathcomp-classical	34s
mathcomp-solvable	34s
mathcomp-word	33s
mathcomp-zify	36s
multinomials	36s
metacoq	36s
graph-theory	4m 51s
mathcomp-field	39s
mathcomp-algebra-tactics	35s
ElmExtraction	35s
mathcomp-analysis	35s
mathcomp-character	35s
mathcomp-real-closed	39s
mathcomp-infotheo	7m 37s
mathcomp	1m 32s
coqeal	41s
	1h 13m 5s