Skip to content
certora

🐛 fix EtherFi network script issue #77

Sign in to view logs

🐛 fix EtherFi network script issue

🐛 fix EtherFi network script issue #77

Triggered via pull request February 3, 2025 18:06
@MartinGbzMartinGbz
opened #31
AaveChan:fix/etherfi-script-issue
Status Failure
Total duration 1m 28s
Artifacts –

certora.yml

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

Annotations

1 error
verify (rules.conf)
Process completed with exit code 1.