certora-steward

Chore: bump aave-v3-origin #6

Sign in to view logs

Triggered via pull request July 2, 2025 11:55

avniculae

opened #2

chore/bump-v3

Status Success

Total duration 6m 41s

Artifacts –

certora-steward.yml

on: pull_request

Matrix: verify