CI

[Certora] Handle overflows #898

Sign in to view logs

Triggered via pull request February 4, 2025 13:06

synchronize #105

colin@verif/overflows

Status Success

Total duration 1m 9s

Artifacts –

test.yml

on: pull_request

Foundry project