Skip to content

Optimizations for stack checks when no over/under flow is present #10931

Optimizations for stack checks when no over/under flow is present

Optimizations for stack checks when no over/under flow is present #10931

Triggered via pull request March 8, 2025 22:39
Status Failure
Total duration 1h 43m 5s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
39s
Code Quality Checks
Matrix: Nix
Matrix: test-prove
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Proofs: Summarization
Process completed with exit code 2.
Nix (macos-13)
No push credentials found. Ignoring the 'useDaemon' option.