Skip to content
Nix CI for bundle rocq-master

Adapt to coq/coq#20275 (Printing Depth has effect at extern time) #73

Sign in to view logs

Adapt to coq/coq#20275 (Printing Depth has effect at extern time)

Adapt to coq/coq#20275 (Printing Depth has effect at extern time) #73

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 16s
coq-elpi
1m 17s
rocq-core
1m 15s
rocq-elpi
1m 16s
stdlib-html
3m 54s
stdlib
3m 37s
coq-elpi-test
1m 9s
hierarchy-builder
1m 16s
unicoq
1m 36s
stdlib-subcomponents
4m 27s
stdlib-test
6m 5s
mathcomp-ssreflect
1m 24s
mathcomp-finmap
1m 19s
mathcomp-bigenough
1m 17s
mathcomp-fingroup
1m 18s
StructTact
1m 52s
InfSeqExt
1m 47s
ExtLib
1m 55s
coq-performance-tests
15m 24s
ceres
1m 43s
coquelicot
2m 23s
atbr
2m 38s
coq-tools
7m 1s
coq-hammer-tactics
1m 45s
coinduction
1m 49s
autosubst
1m 57s
MenhirLib
2m 13s
argosy
2m 8s
bignums
2m 2s
aac-tactics
1m 40s
bbv
1m 46s
equations
1m 55s
deriving
2m 18s
cross-crypto
6m 23s
coqutil
2m 27s
paco
1m 49s
sf
3m 28s
perennial
12m 25s
smtcoq
2m 12s
stdlib-refman-html
3m 56s
dpdgraph-test
1m 46s
mtac2
2m 11s
fiat-parsers
5m 20s
itauto
2m 57s
neural-net-coq-interp
2m 12s
kami
4m 30s
rewriter
6m 11s
engine-bench
5m 26s
stalmarck
1m 50s
stdpp
2m 45s
trakt
1m 47s
waterproof
2m 21s
flocq
2m 47s
tlc
2m 3s
paramcoq-test
1m 45s
mathcomp-algebra
1m 23s
coq-hammer
0s
Cheerios
1m 49s
parsec
1m 41s
simple-io
1m 34s
CoLoR
6m 40s
math-classes
2m 32s
coqprime
2m 29s
bignums-test
1m 36s
ITree
3m 16s
equations-test
2m 29s
metacoq-utils
2m 11s
category-theory
6m 56s
relation-algebra
2m 52s
riscvcoq
6m 58s
smtcoq-trakt
2m 23s
stalmarck-tactic
1m 47s
compcert
5m 44s
vst
16m 54s
fourcolor
1m 22s
fcsl-pcm
2m 46s
mathcomp-solvable
1m 16s
mathcomp-zify
2m 14s
mathcomp-word
2m 2s
mathcomp-classical
1m 17s
iris
5m 38s
Verdi
2m 33s
QuickChick
2m 10s
json
2m 8s
corn
8m 0s
fiat-crypto-legacy
18m 15s
metacoq-common
2m 18s
itree-io
1m 48s
mathcomp-field
1m 17s
mathcomp-algebra-tactics
2m 21s
mathcomp-reals
1m 19s
quickchick-test
2m 41s
VerdiRaft
6m 39s
bedrock2
31m 59s
iris-examples
9m 33s
metacoq-pcuic
12m 18s
metacoq-template-coq
3m 28s
mathcomp-character
1m 24s
async-test
2m 16s
mathcomp-analysis
1m 27s
mathcomp-reals-stdlib
2m 2s
jasmin
8m 49s
metacoq-translations
3m 11s
mathcomp
1m 22s
http
2m 33s
mathcomp-analysis-stdlib
2m 11s
metacoq-safechecker
16m 52s
metacoq-template-pcuic
12m 0s
odd-order
1m 19s
mathcomp-test
7m 31s
rupicola
3m 0s
metacoq-quotation
7m 39s
fiat-crypto
37m 22s
metacoq-erasure
7m 10s
metacoq-safechecker-plugin
2m 2s
metacoq-erasure-plugin
8m 14s
metacoq
7m 41s
metacoq-test
3m 13s
fiat-crypto-ocaml
14m 16s
8h 35m 23s