Nix CI for bundle 8.13

Test MathComp 2.1.0 #580

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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