Nix CI for bundle 8.19

proposal for an executive summary #244

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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