[Certora] Simplify summarization of mulDiv and price #2080
Triggered via pull request
February 25, 2025 10:48
QGarchery
Status
Cancelled
Total duration
2m 10s
Artifacts
–
Annotations
1 error and 1 warning
|
yarn-test
Canceling since a higher priority waiting request for 'Hardhat-refs/pull/722/merge-pull_request' exists
|
|
yarn-test
Cache not found for keys: linux-foundry-chain-fork-yarn-test-cf3058b8efd0decb1c573a6959bb4b66e929390f, linux-foundry-chain-fork-yarn-test-, linux-foundry-chain-fork-
|