Nix CI for bundle 8.17

Testing vscoq2 #313

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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