Skip to content
Formatting

[Certora] Simplify summarization of mulDiv and price #1602

Sign in to view logs

[Certora] Simplify summarization of mulDiv and price

[Certora] Simplify summarization of mulDiv and price #1602

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

formatting.yml

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

Annotations

1 warning
lint
Cache not found for keys: linux-foundry-chain-fork-lint-596623405b0e900e224ab94eb03f6942c62025a3, linux-foundry-chain-fork-lint-, linux-foundry-chain-fork-