Foundry

[Certora] Refactor ExactMath #1693

Sign in to view logs

Triggered via pull request November 30, 2023 14:47

QGarchery

synchronize #619

certora/refactor-exact-math

Status Success

Total duration 6m 8s

Artifacts –

foundry.yml

on: pull_request

Matrix: forge-test