Simplify returning of proof results #453
Triggered via pull request
October 24, 2023 18:31
rv-jenkins
Status
Success
Total duration
3h 7m 3s
Artifacts
–
test-pr.yml
on: pull_request