Certora formally verified rewards checker #453
QGarcheryci-storage-check-aave-v2.yml
on: pull_request
morpho-aave-v2
2m 56s
Annotations
2 errors
|
morpho-aave-v2
No workflow run found with an artifact named "main.src_aave-v2_lens_Lens.sol-Lens.json"
|
|
morpho-aave-v2
No workflow run found with an artifact named "main.src_aave-v2_Morpho.sol-Morpho.json"
|
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 |
|