certora

⬆️ Update aave-helpers lib #76

Sign in to view logs

Triggered via pull request February 3, 2025 17:44

MartinGbz

synchronize #30

AaveChan:feat/update-aave-helpers-lib

Status Failure

Total duration 1m 27s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

1 error

verify (rules.conf)

Process completed with exit code 1.