certora-stata

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

Triggered via push August 21, 2025 11:21

sakulstra

main

Status Success

Total duration 3m 49s

Artifacts 1

certora-stata.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-c6f3a144-0eb0-45e7-b235-bd1ecc7ccfee-17125411677	37.1 KB	`sha256:9fcbb68b0779befc29a0bdde66c8caae582c7b8357efc72baa6d556bd7b486c3`