Nix CI for bundle 8.16-mathcomp2

Test nixpkgs#352394 #399

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	2m 17s
bbv	38s
aac-tactics	35s
bignums	1m 27s
ceres	35s
coq-elpi	36s
coq-ext-lib	34s
coq-hammer-tactics	38s
coqide	41s
coq-record-update	38s
coq-shell	35s
dpdgraph	39s
equations	35s
flocq	2m 13s
high-school-geometry	36s
HoTT	3m 0s
InfSeqExt	35s
LibHyps	33s
itauto	2m 26s
MenhirLib	38s
metalib	35s
paco	1m 17s
paramcoq	35s
semantics	35s
pocklington	34s
serapi	36s
smtcoq	41s
stdpp	2m 5s
StructTact	36s
tlc	1m 29s
zorns-lemma	35s
hierarchy-builder	36s
trakt	35s
simple-io	38s
parsec	34s
coq-hammer	34s
metacoq-template-coq	3m 8s
coqprime	40s
math-classes	36s
CoLoR	36s
hydra-battles	2m 2s
coq-lsp	1m 18s
Cheerios	1m 17s
topology	1m 16s
ITree	2m 49s
gappalib	1m 20s
compcert	34s
iris	4m 55s
mathcomp-ssreflect	4m 17s
json	1m 17s
corn	8m 24s
vcfloat	3m 52s
goedel	39s
metacoq-pcuic	9m 55s
VST	34s
itree-io	40s
iris-named-props	37s
autosubst	1m 17s
Verdi	1m 49s
QuickChick	1m 40s
category-theory	18m 6s
coquelicot	41s
mathcomp-bigenough	1m 18s
mathcomp-fingroup	36s
reglang	1m 31s
mathcomp-finmap	1m 26s
relation-algebra	2m 16s
metacoq-safechecker	4m 32s
mathcomp-algebra	6m 9s
mathcomp-tarjan	1m 34s
interval	2m 46s
async-test	1m 21s
metacoq-erasure	4m 9s
http	1m 29s
gaia	3m 59s
fourcolor	13m 27s
mathcomp-solvable	3m 22s
addition-chains	2m 3s
mathcomp-word	1m 35s
mathcomp-zify	1m 42s
multinomials	2m 30s
metacoq	40s
mathcomp-algebra-tactics	1m 54s
mathcomp-field	5m 15s
graph-theory	5m 11s
mathcomp-real-closed	7m 42s
mathcomp-character	7m 24s
coqeal	6m 2s
mathcomp	3m 16s
	3h 22m 32s