Foundry upgrade tests (Morpho-Compound)

Certora formally verified rewards checker #380

Sign in to view logs

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

Triggered via pull request December 7, 2023 15:20

QGarchery

synchronize #1656

certora-rewards

Status Failure

Total duration 1m 49s

Artifacts –

ci-foundry-compound-upgrade.yml

on: pull_request

Annotations

1 error

eth-mainnet

Process completed with exit code 2.