Nix CI for bundle 8.18-mathcomp2

aac-tactics: 8.19.0 → 8.19.1 #193

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
aac-tactics	37s
bignums	32s
ceres	37s
HoTT	33s
InfSeqExt	33s
LibHyps	32s
StructTact	39s
coq-elpi	2m 56s
coq-ext-lib	37s
coqide	34s
coq-record-update	33s
coq-shell	38s
dpdgraph	32s
equations	39s
flocq	33s
itauto	33s
metalib	31s
paco	33s
paramcoq	37s
pocklington	37s
semantics	37s
serapi	1m 53s
vscoq-language-server	1m 43s
stdpp	37s
zorns-lemma	33s
coqprime	32s
CoLoR	32s
math-classes	32s
Cheerios	37s
parsec	31s
simple-io	31s
gappalib	38s
compcert	37s
ITree	38s
metacoq-template-coq	32s
topology	32s
iris	37s
coq-lsp	1m 19s
hierarchy-builder	1m 23s
corn	32s
vcfloat	5m 45s
metacoq-pcuic	37s
VST	37s
iris-named-props	31s
mathcomp-ssreflect	3m 34s
metacoq-safechecker	32s
Verdi	1m 38s
autosubst	1m 10s
QuickChick	1m 40s
coquelicot	34s
deriving	1m 26s
mathcomp-bigenough	1m 8s
mathcomp-fingroup	39s
reglang	1m 27s
mathcomp-finmap	1m 20s
metacoq-erasure	32s
mathcomp-algebra	4m 48s
interval	2m 25s
mathcomp-tarjan	1m 28s
extructures	1m 41s
metacoq	35s
addition-chains	2m 5s
mathcomp-classical	3m 31s
fourcolor	13m 3s
mathcomp-solvable	2m 41s
mathcomp-word	1m 26s
mathcomp-zify	1m 28s
multinomials	1m 59s
mathcomp-algebra-tactics	1m 31s
mathcomp-field	3m 46s
mathcomp-character	2m 35s
mathcomp-analysis	10m 36s
mathcomp-real-closed	2m 25s
coqeal	3m 33s
mathcomp	1m 22s
graph-theory	4m 5s
mathcomp-infotheo	6m 27s
ssprove	9m 27s
	2h 16m 11s