Nix CI for bundle 8.16-mathcomp2

coqutil 0.0.5/0.0.6 #377

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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