certora-gho-5.0.5

chore: bump aave-v3-origin dependency to 68728ba (#2) #7

Sign in to view logs

Triggered via push July 3, 2025 07:36

main

Status Success

Total duration 6m 51s

Artifacts –

certora-gho-505.yml

on: push

Matrix: verify