Skip to content
Dependency Review

refactor(prover): remove legacy unused reachability constraints #4335

Sign in to view logs

refactor(prover): remove legacy unused reachability constraints

refactor(prover): remove legacy unused reachability constraints #4335

Re-run triggered October 13, 2026 13:53
@SDAChessSDAChess
#2441
eviehoward:2412-remove-legacy-reachability-constraints/eviehoward
Status Success
Total duration 17s
Artifacts –

dependency-review.yml

on: pull_request
Dependency Review (informational)
8s
Dependency Review (informational)
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Dependency Review (informational)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"