Skip to content
Nix CI for bundle rocq-9.0

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

Sign in to view logs

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes)

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

Run time

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