certora-gsm-4626

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 53m 3s

Artifacts –

certora-gsm-4626.yml

on: pull_request

Matrix: verify