Skip to content
certora-stata

test: dynamic oracle bounds & param registry #114

Sign in to view logs

test: dynamic oracle bounds & param registry

test: dynamic oracle bounds & param registry #114

Triggered via pull request October 30, 2025 14:09
@yan-manyan-man
synchronize #36
test/dynamic-bounds
Status Failure
Total duration 14s
Artifacts –

certora-stata.yml

on: pull_request
verify
9s
verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
verify
The process '/usr/bin/git' failed with exit code 128
verify
No url found for submodule path 'lib/aave-address-book' in .gitmodules
verify
The process '/usr/bin/git' failed with exit code 128