Nix CI for bundle 8.17

Update README.md #312

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 2s
HoTT	58s
InfSeqExt	58s
bignums	1m 1s
aac-tactics	1m 2s
LibHyps	58s
StructTact	58s
ceres	58s
coq-elpi	59s
coq-ext-lib	59s
coqide	57s
coq-record-update	1m 3s
coq-shell	58s
flocq	1m 3s
equations	57s
dpdgraph	58s
itauto	59s
metalib	1m 3s
mathcomp-ssreflect	1m 3s
paco	59s
paramcoq	1m 3s
pocklington	58s
semantics	59s
serapi	1m 3s
stdpp	1m 1s
zorns-lemma	1m 0s
Cheerios	58s
coqprime	58s
CoLoR	58s
math-classes	59s
trakt	59s
hierarchy-builder	57s
parsec	1m 2s
simple-io	57s
metacoq-template-coq	58s
gappalib	58s
compcert	58s
coquelicot	58s
category-theory	1m 2s
deriving	57s
autosubst	1m 2s
mathcomp-bigenough	59s
mathcomp-fingroup	57s
mathcomp-finmap	59s
reglang	57s
relation-algebra	59s
ITree	59s
coq-lsp	59s
topology	58s
iris	58s
Verdi	59s
corn	1m 4s
QuickChick	1m 1s
metacoq-pcuic	1m 2s
extructures	58s
interval	1m 1s
mathcomp-algebra	57s
VST	57s
iris-named-props	58s
addition-chains	58s
fourcolor	1m 4s
gaia	58s
mathcomp-solvable	1m 3s
mathcomp-classical	1m 3s
mathcomp-word	58s
mathcomp-zify	1m 2s
multinomials	1m 4s
vcfloat	1m 20s
metacoq-safechecker	59s
graph-theory	58s
mathcomp-field	1m 2s
mathcomp-algebra-tactics	59s
metacoq-erasure	58s
mathcomp-real-closed	1m 16s
mathcomp-character	59s
mathcomp-analysis	1m 9s
metacoq	1m 8s
mathcomp	1m 0s
coqeal	59s
mathcomp-infotheo	1m 1s
	1h 20m 18s