Feat/batched opening proofs #922
Triggered via pull request
September 20, 2024 14:42
Status
Failure
Total duration
2m 25s
Artifacts
–
Annotations
30 errors and 6 warnings