Foundry upgrade tests (Morpho-Compound)

Certora formally verified rewards checker #379

Sign in to view logs

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

Re-run triggered December 7, 2023 13:32

QGarchery

#1656

certora-rewards

Status Failure

Total duration 2m 1s

Artifacts –

ci-foundry-compound-upgrade.yml

on: pull_request

Annotations

1 error

eth-mainnet

Process completed with exit code 2.