Skip to content
Formatting

[Certora] Simplify summarization of mulDiv and price #1597

Sign in to view logs

[Certora] Simplify summarization of mulDiv and price

[Certora] Simplify summarization of mulDiv and price #1597

Triggered via pull request February 21, 2025 17:26
@QGarcheryQGarchery
opened #722
certora/simplify-summary
Status Success
Total duration 38s
Artifacts –

formatting.yml

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

Annotations

1 warning
lint
Cache not found for keys: linux-foundry-chain-fork-lint-310e6dace08f7d64cfd2d646b2b90d281ff05ea8, linux-foundry-chain-fork-lint-, linux-foundry-chain-fork-