Skip to content
certora-basic

Aave v3.5 protocol (#133) #224

Sign in to view logs

Aave v3.5 protocol (#133)

Aave v3.5 protocol (#133) #224

Triggered via push August 7, 2025 11:50
@brotherlymitebrotherlymite
pushed 7c78fca
main
Status Success
Total duration 3m 0s
Artifacts 1

certora-basic.yml

on: push
verify
2m 56s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-ba976b36-1781-4a98-9d20-5867811da363-16803658160 Expired
31 KB
sha256:5b9d89e9669104d9c01007416b11f1eb65c7930be9f360aacf0867ccf34da670