Nix CI for bundle 8.17

Merge pull request #251 from proux01/fix-deprecation #535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
HoTT	35s
InfSeqExt	33s
bignums	37s
aac-tactics	33s
coq-elpi	33s
MenhirLib	34s
LibHyps	32s
StructTact	32s
ceres	32s
coq-ext-lib	36s
coq-hammer-tactics	31s
coq-record-update	34s
coqide	38s
coq-shell	34s
equations	32s
dpdgraph	31s
high-school-geometry	36s
flocq	32s
itauto	34s
metalib	33s
paco	32s
paramcoq	33s
pocklington	34s
semantics	37s
serapi	34s
stdpp	37s
zorns-lemma	36s
smtcoq	34s
hierarchy-builder	34s
trakt	33s
CoLoR	34s
coqprime	38s
math-classes	34s
Cheerios	33s
coq-hammer	32s
simple-io	34s
parsec	33s
metacoq-template-coq	34s
gappalib	31s
compcert	37s
ITree	34s
coq-lsp	34s
iris	32s
topology	34s
mathcomp-ssreflect	34s
corn	34s
metacoq-pcuic	38s
VST	33s
vcfloat	1m 58s
iris-named-props	32s
autosubst	35s
coquelicot	34s
category-theory	35s
deriving	40s
mathcomp-bigenough	38s
mathcomp-fingroup	35s
QuickChick	33s
Verdi	34s
mathcomp-finmap	37s
reglang	38s
relation-algebra	33s
metacoq-safechecker	37s
mathcomp-algebra	34s
mathcomp-tarjan	35s
interval	39s
extructures	34s
metacoq-erasure	38s
addition-chains	37s
fourcolor	34s
mathcomp-solvable	34s
mathcomp-classical	33s
mathcomp-word	34s
gaia	33s
mathcomp-zify	35s
multinomials	34s
metacoq	36s
graph-theory	35s
mathcomp-field	34s
mathcomp-algebra-tactics	39s
mathcomp-analysis	38s
mathcomp-real-closed	38s
mathcomp-character	44s
coqeal	34s
mathcomp-infotheo	34s
mathcomp	34s
	51m 5s