Nix CI for bundle 8.15

Test MathComp 2.1.0 #397

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	44s
HoTT	4m 52s
InfSeqExt	1m 32s
aac-tactics	1m 31s
LibHyps	1m 17s
bignums	2m 4s
ceres	1m 25s
coq-elpi	3m 28s
coq-ext-lib	1m 37s
coqhammer	1m 25s
coqide	2m 12s
coq-record-update	1m 14s
coq-shell	1m 19s
StructTact	1m 23s
coqtail-math	3m 29s
dpdgraph	1m 35s
equations	1m 33s
flocq	3m 19s
itauto	4m 39s
mathcomp-ssreflect	2m 24s
paco	1m 28s
metalib	1m 25s
paramcoq	1m 12s
pocklington	1m 13s
semantics	1m 35s
serapi	2m 36s
smpl	1m 17s
stdpp	2m 13s
tlc	1m 43s
zorns-lemma	1m 28s
math-classes	2m 48s
coqprime	3m 25s
CoLoR	9m 1s
parsec	1m 14s
simple-io	1m 31s
metacoq-template-coq	4m 33s
hydra-battles	2m 38s
ITree	4m 45s
trakt	1m 26s
hierarchy-builder	1m 26s
Cheerios	1m 21s
topology	1m 32s
autosubst	1m 20s
deriving	1m 31s
category-theory	31m 30s
coquelicot	2m 15s
mathcomp-bigenough	1m 11s
mathcomp-fingroup	1m 51s
mathcomp-finmap	1m 54s
reglang	1m 47s
relation-algebra	3m 15s
iris	10m 14s
gappalib	1m 51s
compcert	8m 44s
corn	12m 25s
QuickChick	2m 0s
Verdi	2m 29s
goedel	1m 29s
extructures	1m 53s
mathcomp-tarjan	1m 48s
mathcomp-algebra	2m 20s
interval	3m 36s
metacoq-pcuic	30m 22s
VST	41m 29s
coq-bits	1m 29s
gaia	8m 0s
fourcolor	24m 16s
mathcomp-classical	3m 12s
addition-chains	2m 39s
mathcomp-solvable	3m 29s
mathcomp-word	1m 38s
mathcomp-zify	1m 39s
multinomials	2m 7s
metacoq-safechecker	24m 14s
mathcomp-field	4m 39s
gaia-hydras	1m 38s
mathcomp-algebra-tactics	1m 47s
graph-theory	5m 18s
mathcomp-character	3m 0s
mathcomp-analysis	7m 14s
mathcomp-real-closed	2m 29s
mathcomp	1m 24s
coqeal	3m 19s
mathcomp-infotheo	6m 10s
mathcomp-apery	7m 31s
metacoq-erasure	7m 20s
metacoq	1m 26s
	6h 28m 4s