Skip to content
Formatting

[Certora] Simplify summarization of mulDiv and price #1603

Sign in to view logs

[Certora] Simplify summarization of mulDiv and price

[Certora] Simplify summarization of mulDiv and price #1603

Triggered via pull request February 25, 2025 16:32
@QGarcheryQGarchery
synchronize #722
certora/simplify-summary
Status Success
Total duration 44s
Artifacts –

formatting.yml

on: pull_request
lint
30s
lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
lint
Cache not found for keys: linux-foundry-chain-fork-lint-5cd930c993d55d500c1b34b042cef5a3e738d680, linux-foundry-chain-fork-lint-, linux-foundry-chain-fork-