Nix CI for bundle 8.16-mathcomp2

ExtLib 0.13.0 #470

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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