Nix CI for bundle 8.16-mathcomp2

mathcomp-infotheo 0.7.1 #156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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