Skip to content

Certora review - upgrade CI #536

Certora review - upgrade CI

Certora review - upgrade CI #536

Re-run triggered August 18, 2025 10:41
Status Success
Total duration 59s
Artifacts 3

main.yml

on: pull_request
test  /  Foundry build n test
55s
test / Foundry build n test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
test / Foundry build n test
Allowed code-size exceeded for contract(s): "BaseCrossChainController", "CrossChainController", "CrossChainControllerUpgradeRev2", "CrossChainControllerUpgradeRev3", "CrossChainControllerWithEmergencyMode", "CrossChainControllerWithEmergencyModeUpgradeRev2", "CrossChainControllerWithEmergencyModeUpgradeRev3".
test / Foundry build n test
Failed to read version from package.json
test / Foundry build n test
Could not determine node version from /home/runner/work/aave-delivery-infrastructure/aave-delivery-infrastructure/package.json. Falling back

Artifacts

Produced during runtime
Name Size Digest
contentdefault Expired
10 KB
sha256:8f33d5c3b363de2167d76aa9912ed537b314c0d0c3100cc6df35a383853cbff8
lcov-report Expired
7.83 KB
sha256:eb94f4174b30b2c4635215721be302f7e0ca883859cad349b26f10f2f7f95783
sizes-report Expired
2.06 KB
sha256:1f12bf29fb3674ce0c9b72b3f64fd8d2f5bc4e290c809462b4e9120b25d363ce