Param registry update 1 · aave/aave-v3-horizon@4e775fd

Triggered via pull request December 11, 2025 03:00

yan-man

opened #38

Status Success

Total duration 3m 25s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-0adeb6bc-5899-4906-b01f-e6f9b90fc6de-20120459079 Expired	29.5 KB	`sha256:8f1c80c053ebe0065049833863cfd5e7f6da99df0b3e3bb635e4fba559c1f67d`