Nix CI for bundle 8.19-mathcomp2

coq 8.19.2 #168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 25s
HoTT	2m 22s
LibHyps	36s
InfSeqExt	34s
StructTact	37s
aac-tactics	32s
ceres	32s
bignums	33s
coq-elpi	35s
coq-ext-lib	32s
coqide	38s
coq-record-update	32s
coq-shell	35s
dpdgraph	33s
equations	33s
flocq	33s
itauto	34s
paco	32s
paramcoq	33s
serapi	33s
stdpp	1m 56s
vscoq-language-server	38s
zorns-lemma	33s
math-classes	32s
CoLoR	6m 6s
coqprime	32s
Cheerios	32s
simple-io	32s
parsec	33s
hierarchy-builder	32s
metacoq-template-coq	34s
gappalib	33s
compcert	3m 47s
ITree	33s
coq-lsp	1m 7s
iris	4m 49s
corn	7m 24s
mathcomp-ssreflect	3m 19s
metacoq-pcuic	12m 32s
VST	16m 44s
iris-named-props	38s
coquelicot	1m 33s
mathcomp-bigenough	1m 6s
deriving	1m 28s
QuickChick	1m 32s
mathcomp-fingroup	1m 40s
mathcomp-finmap	1m 13s
reglang	1m 21s
metacoq-safechecker	7m 14s
extructures	1m 26s
mathcomp-algebra	4m 25s
interval	2m 22s
mathcomp-tarjan	1m 27s
vcfloat	1m 49s
mathcomp-classical	3m 26s
fourcolor	12m 38s
mathcomp-solvable	2m 37s
mathcomp-word	1m 22s
mathcomp-zify	1m 23s
multinomials	1m 58s
metacoq-erasure	7m 16s
mathcomp-algebra-tactics	1m 21s
mathcomp-field	3m 36s
mathcomp-real-closed	2m 28s
mathcomp-character	2m 25s
mathcomp-analysis	10m 48s
metacoq	11m 23s
coqeal	3m 14s
mathcomp	1m 15s
graph-theory	4m 6s
ssprove	10m 7s
mathcomp-infotheo	6m 11s
	3h 17m 30s