Nix CI for bundle 8.17

Test stalmarck (#245) #512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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