Certora formally verified rewards checker · morpho-org/morpho-optimizers@578b906

Triggered via pull request November 30, 2023 15:51

QGarchery

synchronize #1656

certora-rewards

Status Success

Total duration 4m 47s

Artifacts 3

ci-storage-check-compound.yml

on: pull_request

3 errors

No workflow run found with an artifact named "main.src_compound_lens_Lens.sol-Lens.json"

No workflow run found with an artifact named "main.src_compound_RewardsManager.sol-RewardsManager.json"

No workflow run found with an artifact named "main.src_compound_Morpho.sol-Morpho.json"

Produced during runtime

Name	Size
certora-rewards.src_compound_Morpho.sol-Morpho.json Expired	21.8 KB
certora-rewards.src_compound_RewardsManager.sol-RewardsManager.json Expired	4.17 KB
certora-rewards.src_compound_lens_Lens.sol-Lens.json Expired	1.15 KB