Certora formally verified rewards checker #449
ci-storage-check-aave-v2.yml
on: pull_request
morpho-aave-v2
1m 11s
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 |
|