Certora/hub verification · aave/aave-v4@3a83f93

Triggered via pull request October 21, 2025 21:33

synchronize #909

certora

Status Success

Total duration 2m 50s

Artifacts 1

certora.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-d97f913a-b980-4644-8730-6c7ddf41c31c-18698309265 Expired	13.1 KB	`sha256:5a186dfd5f33314ad648a6344fe4ec7b050bd98ee7b590e93816db13639f533c`