Nix CI for bundle 8.16-mathcomp2

coq 8.19.2 #168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	48s
HoTT	33s
InfSeqExt	32s
LibHyps	33s
StructTact	31s
aac-tactics	33s
bignums	32s
ceres	32s
coq-ext-lib	32s
coq-elpi	35s
coqide	34s
coq-record-update	32s
coq-shell	33s
dpdgraph	32s
equations	37s
flocq	32s
itauto	36s
metalib	33s
paco	31s
paramcoq	35s
pocklington	38s
semantics	35s
serapi	36s
stdpp	33s
tlc	31s
zorns-lemma	33s
Cheerios	33s
CoLoR	34s
math-classes	36s
coqprime	33s
hierarchy-builder	38s
trakt	34s
parsec	32s
simple-io	36s
compcert	34s
gappalib	37s
ITree	32s
hydra-battles	37s
metacoq-template-coq	31s
coq-lsp	34s
iris	33s
topology	33s
corn	36s
mathcomp-ssreflect	39s
smtcoq	33s
vcfloat	35s
VST	15m 23s
metacoq-pcuic	32s
iris-named-props	33s
goedel	32s
QuickChick	33s
category-theory	38s
Verdi	33s
autosubst	33s
coquelicot	33s
mathcomp-bigenough	34s
mathcomp-fingroup	38s
mathcomp-finmap	37s
reglang	39s
relation-algebra	33s
metacoq-safechecker	37s
interval	39s
mathcomp-tarjan	39s
mathcomp-algebra	36s
metacoq-erasure	34s
fourcolor	33s
mathcomp-solvable	33s
addition-chains	36s
mathcomp-word	35s
mathcomp-zify	34s
multinomials	37s
metacoq	33s
graph-theory	36s
mathcomp-field	35s
mathcomp-algebra-tactics	37s
mathcomp-character	37s
mathcomp-real-closed	37s
mathcomp	37s
coqeal	38s
	1h 0m 26s