Skip to content

proof-stat: minor corrections + new feature to mark failing proofs in the sources #686

proof-stat: minor corrections + new feature to mark failing proofs in the sources

proof-stat: minor corrections + new feature to mark failing proofs in the sources #686

Annotations

2 warnings

build (29.3)

succeeded May 2, 2024 in 53s
Set up job
1s
Run actions/checkout@v2
1s
Run purcell/setup-emacs@master
25s
Run emacs --version
0s
Run make
11s
Install makeinfo
10s
Run make doc.info
2s
Post Run actions/checkout@v2
0s
Complete job
0s