Feat/batched opening proofs #921
Triggered via pull request
September 19, 2024 15:53
Status
Failure
Total duration
2m 21s
Artifacts
–
Annotations
30 errors and 6 warnings