Simplify returning of proof results #407

Sign in to view logs

Re-run triggered October 20, 2023 02:14

nwatson22

#114

noah/return-proofs

Status Success

Total duration 2h 53m 57s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Matrix: Integration Tests

Matrix: Profiling