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

Triggered via push August 21, 2025 11:21

sakulstra

main

Status Success

Total duration 1m 19s

Artifacts 1

certora-ATokenWithDelegation.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-5ca62c2b-8f74-4be0-a299-be48f878129b-17125411686	17.1 KB	`sha256:5ae512789b2b9095cd21ccb52896a56599e016fecb0f416545475d2038f02b00`