certora

Adaptation of Repay with Collateral contract for Aave V2 #134

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request September 16, 2024 16:36

synchronize #55

aave:fix/paraswap-repay-v2

Status Skipped

Total duration 3s

Artifacts –

certora.yml

on: pull_request

Matrix: verify