Skip to content
Foundry

[Certora] Simplify summarization of mulDiv and price #2080

Sign in to view logs

[Certora] Simplify summarization of mulDiv and price

[Certora] Simplify summarization of mulDiv and price #2080

Triggered via pull request February 24, 2025 16:02
@QGarcheryQGarchery
synchronize #722
certora/simplify-summary
Status Success
Total duration 2m 54s
Artifacts –

foundry.yml

on: pull_request
Matrix: forge-test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
forge-test (fast)
Cache not found for keys: linux-foundry-chain-fork-forge-test-7ade3c4eb55d46e4af2e7cb60891976ca20ac79c, linux-foundry-chain-fork-forge-test-, linux-foundry-chain-fork-
forge-test (slow)
Cache not found for keys: linux-foundry-chain-fork-forge-test-7ade3c4eb55d46e4af2e7cb60891976ca20ac79c, linux-foundry-chain-fork-forge-test-, linux-foundry-chain-fork-