Nix CI for bundle 8.17

MathComp 1.17 -> 1.18 #214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
aac-tactics	35s
bignums	26s
ceres	30s
coq-elpi	27s
coq-ext-lib	24s
coqide	35s
coq-record-update	25s
coq-shell	25s
dpdgraph	30s
equations	29s
flocq	30s
HoTT	28s
InfSeqExt	35s
itauto	25s
LibHyps	29s
mathcomp-ssreflect	30s
metalib	28s
paco	30s
paramcoq	1m 43s
pocklington	29s
semantics	27s
stdpp	25s
serapi	26s
StructTact	25s
zorns-lemma	1m 11s
coqprime	30s
math-classes	26s
CoLoR	30s
simple-io	34s
trakt	25s
hierarchy-builder	27s
parsec	2m 15s
gappalib	30s
compcert	38s
deriving	26s
autosubst	31s
category-theory	29s
coquelicot	25s
mathcomp-bigenough	24s
mathcomp-fingroup	24s
mathcomp-finmap	29s
relation-algebra	29s
reglang	29s
ITree	30s
iris	30s
Cheerios	1m 53s
coq-lsp	30s
topology	31s
corn	39s
QuickChick	29s
extructures	1m 13s
mathcomp-tarjan	29s
mathcomp-algebra	31s
interval	39s
VST	26s
iris-named-props	23s
Verdi	26s
mathcomp-classical	2m 44s
addition-chains	24s
fourcolor	30s
mathcomp-solvable	30s
mathcomp-word	27s
multinomials	25s
mathcomp-zify	23s
vcfloat	29s
mathcomp-algebra-tactics	25s
mathcomp-field	29s
mathcomp-real-closed	26s
mathcomp-character	35s
mathcomp-analysis	9m 10s
coqeal	24s
mathcomp	30s
mathcomp-infotheo	3m 27s
	55m 15s