Skip to content
Formatting

[Certora] Simplify summarization of mulDiv and price #1601

Sign in to view logs

[Certora] Simplify summarization of mulDiv and price

[Certora] Simplify summarization of mulDiv and price #1601

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

formatting.yml

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

Annotations

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