Nix CI for bundle 8.17

mathcomp-infotheo 0.7.1 #392

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
HoTT	36s
LibHyps	36s
InfSeqExt	33s
aac-tactics	35s
StructTact	32s
bignums	31s
ceres	36s
coq-elpi	33s
coq-ext-lib	32s
coq-record-update	35s
coqide	35s
coq-shell	37s
dpdgraph	32s
equations	33s
flocq	32s
itauto	36s
mathcomp-ssreflect	1m 28s
paco	36s
paramcoq	33s
metalib	32s
semantics	32s
pocklington	31s
serapi	37s
stdpp	35s
zorns-lemma	32s
coqprime	33s
math-classes	32s
CoLoR	36s
trakt	32s
hierarchy-builder	33s
Cheerios	31s
simple-io	36s
parsec	33s
gappalib	30s
compcert	33s
metacoq-template-coq	33s
ITree	33s
topology	35s
coq-lsp	32s
iris	32s
deriving	1m 17s
coquelicot	1m 33s
autosubst	1m 5s
category-theory	9m 21s
mathcomp-bigenough	1m 3s
mathcomp-fingroup	1m 32s
mathcomp-finmap	1m 15s
relation-algebra	2m 8s
reglang	1m 14s
corn	32s
Verdi	1m 36s
QuickChick	1m 35s
vcfloat	2m 45s
metacoq-pcuic	32s
VST	33s
iris-named-props	36s
extructures	1m 21s
mathcomp-algebra	1m 47s
interval	2m 22s
metacoq-safechecker	8m 13s
fourcolor	13m 8s
addition-chains	1m 53s
gaia	3m 42s
mathcomp-classical	2m 4s
mathcomp-solvable	2m 15s
mathcomp-word	1m 16s
mathcomp-zify	1m 11s
multinomials	1m 22s
mathcomp-algebra-tactics	1m 17s
mathcomp-field	2m 52s
metacoq-erasure	8m 14s
graph-theory	2m 45s
mathcomp-character	2m 9s
mathcomp-real-closed	1m 37s
mathcomp-analysis	6m 47s
metacoq	12m 0s
coqeal	2m 0s
mathcomp	6m 53s
mathcomp-infotheo	3m 53s
	2h 23m 26s