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

Triggered via pull request December 11, 2025 17:48

yan-man

synchronize #38

Status Success

Total duration 3m 21s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-a1ff1f8f-3de1-40ab-9242-f6a7589ad146-20142287114 Expired	29.5 KB	`sha256:f3e2d36b5580b9c0473b0d6baed05fc95ffdf0040a8d21fd0ac6750c93751dae`