Nix CI for bundle 8.17

coqPackages.mtac2: init at 1.4-coq8.19 #579

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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