Certora formally verified rewards checker #450
QGarcheryci-storage-check-aave-v2.yml
on: pull_request
morpho-aave-v2
1m 9s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
certora-rewards.src_aave-v2_Morpho.sol-Morpho.json
Expired
|
20.8 KB |
|
|
certora-rewards.src_aave-v2_lens_Lens.sol-Lens.json
Expired
|
35 Bytes |
|