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

test-indent (28.1)

succeeded May 2, 2024 in 36s
Set up job
1s
Run actions/checkout@v2
1s
Run purcell/setup-emacs@master
19s
Run emacs --version
0s
Run make -C ci/test-indent
12s
Post Run actions/checkout@v2
1s
Complete job
0s