Skip to content
certora-stata

test: dynamic oracle bounds & param registry #116

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #116

Triggered via pull request October 30, 2025 14:24
@yan-manyan-man
synchronize #36
test/dynamic-bounds
Status Cancelled
Total duration 2m 7s
Artifacts 1

certora-stata.yml

on: pull_request
verify
2m 3s
verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors
verify
Canceling since a higher priority waiting request for certora-stata-36 exists
verify
The operation was canceled.
certora-stata
Canceling since a higher priority waiting request for certora-stata-36 exists

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-31ec4173-c7d0-4012-a710-bfd12c515c0e-18943985967 Expired
10.8 KB
sha256:2f022a301d46618993812a12a3ccc83486e6c9bd6c9f681c809cd072c649975f