Nix CI for bundle 8.17

Add workflows for MathComp 2. #235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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