Adapt to coq/coq#20235 (Print/About use %_ for argument scopes)
#41
Triggered via pull request
February 13, 2025 14:43
SkySkimmer
SkySkimmer
opened
#108
Status
Failure
Total duration
4h 26m 59s
Artifacts
–
nix-action-rocq-9.0.yml
on: pull_request_target
coq
1m 14s
argosy
2m 2s
atbr
2m 30s
bbv
1m 49s
coinduction
1m 45s
coq-performance-tests
15m 47s
coq-tools
7m 4s
cross-crypto
6m 29s
dpdgraph-test
1m 47s
engine-bench
5m 35s
itauto
3m 4s
neural-net-coq-interp
2m 13s
paramcoq-test
1m 46s
sf
3m 26s
smtcoq
2m 17s
stdlib-refman-html
3m 56s
stdlib-test
4m 12s
tlc
2m 0s
waterproof
2m 23s
mtac2
2m 7s
equations-test
2m 29s
coq-elpi-test
2m 9s
compcert
5m 58s
vst
16m 22s
coq-hammer
1m 57s
stalmarck-tactic
1m 55s
relation-algebra
2m 52s
category-theory
8m 26s
quickchick-test
2m 42s
VerdiRaft
6m 33s
iris-examples
9m 50s
jasmin
8m 45s
mathcomp-experimental-reals
3m 13s
metacoq-test
3m 14s
mathcomp-analysis-stdlib
10m 21s
odd-order
10m 4s
mathcomp-test
8m 13s
Annotations
1 error
|
stdlib-test
Process completed with exit code 1.
|