Foundry upgrade tests (Morpho-Aave V2)

Certora formally verified rewards checker #346

Sign in to view logs

Summary
Jobs
- eth-mainnet
Run details
- Usage
- Workflow file

Triggered via pull request June 21, 2023 16:22

QGarchery

synchronize #1656

certora-rewards

Status Success

Total duration 11m 25s

Artifacts –

ci-foundry-aave-v2-upgrade.yml

on: pull_request