Nix CI for bundle 8.18

mathcomp-word: 3.1 → 3.2 #272

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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