Foundry upgrade tests (Morpho-Compound)

Certora formally verified rewards checker #377

Sign in to view logs

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

Triggered via pull request November 30, 2023 16:10

QGarchery

synchronize #1656

certora-rewards

Status Failure

Total duration 3m 35s

Artifacts –

ci-foundry-compound-upgrade.yml

on: pull_request

Annotations

1 error

eth-mainnet

Process completed with exit code 2.