Skip to content
certora

Merge pull request #3 from aave/francesc/devops-980-implement-depende… #6

Sign in to view logs

Merge pull request #3 from aave/francesc/devops-980-implement-depende…

Merge pull request #3 from aave/francesc/devops-980-implement-depende… #6

Triggered via push September 18, 2025 11:22
@absisabsis
pushed 65f1dc1
main
Status Success
Total duration 9m 45s
Artifacts –

certora.yml

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