Skip to content
Python package

Rewrap ProofState errors with informative goal state context #274

Sign in to view logs

Rewrap ProofState errors with informative goal state context

Rewrap ProofState errors with informative goal state context #274

Re-run triggered October 21, 2025 02:48
@philzook58philzook58
#6
copilot/rewrap-informative-errors
Status Success
Total duration 8m 55s
Artifacts –

python-package.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in