Nix CI for bundle 8.11

Test MathComp 2.1.0 #584

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	46s
aac-tactics	1m 32s
bignums	2m 2s
ceres	1m 28s
coq-elpi	2m 46s
coq-ext-lib	1m 57s
coqhammer	1m 32s
coq-record-update	1m 30s
coq-shell	1m 17s
coqtail-math	3m 50s
dpdgraph	1m 29s
equations	1m 31s
flocq	3m 43s
InfSeqExt	1m 19s
LibHyps	1m 20s
mathcomp-ssreflect	2m 3s
metalib	1m 26s
paco	1m 40s
paramcoq	1m 15s
pocklington	1m 11s
semantics	1m 25s
serapi	2m 20s
stdpp	2m 16s
StructTact	1m 28s
tlc	1m 56s
zorns-lemma	1m 14s
metacoq-template-coq	2m 48s
hydra-battles	2m 56s
ITree	2m 38s
simple-io	1m 35s
coqprime	2m 9s
math-classes	3m 17s
CoLoR	15m 46s
coquelicot	2m 2s
autosubst	1m 14s
category-theory	29m 13s
deriving	1m 29s
mathcomp-bigenough	1m 26s
mathcomp-fingroup	2m 44s
mathcomp-finmap	1m 42s
reglang	1m 52s
relation-algebra	3m 6s
hierarchy-builder	1m 58s
topology	1m 29s
Cheerios	1m 17s
gappalib	1m 30s
compcert	7m 56s
iris	8m 49s
QuickChick	2m 40s
extructures	1m 55s
metacoq-pcuic	16m 39s
goedel	1m 36s
Verdi	2m 50s
corn	16m 25s
interval	3m 48s
mathcomp-tarjan	2m 6s
mathcomp-algebra	3m 21s
fourcolor	24m 50s
gaia	11m 23s
addition-chains	2m 14s
coq-bits	1m 44s
mathcomp-solvable	3m 23s
multinomials	2m 20s
metacoq-safechecker	12m 33s
mathcomp-field	4m 20s
metacoq-erasure	4m 41s
mathcomp-character	4m 1s
mathcomp-real-closed	3m 19s
metacoq	1m 42s
coqeal	3m 34s
mathcomp-abel	3m 9s
mathcomp	1m 46s
odd-order	19m 7s
	5h 0m 38s