certora-basic

chore: remove aave cli dependency (#138) #230

Triggered via push August 21, 2025 11:21

sakulstra

main

Status Success

Total duration 2m 58s

Artifacts 1

certora-basic.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-3efd8354-2c15-48e7-aee1-ed59190fe48e-17125411673	32.3 KB	`sha256:de7203a50657d6903ededa07a4b99e5845b70bc17b5fa4689b72bc829fe94a67`