Nix CI for bundle 8.18

proposal for an executive summary #331

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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