Skip to content
Formatting

[Certora] If calls succeed state changes #902

Sign in to view logs

[Certora] If calls succeed state changes

[Certora] If calls succeed state changes #902

Triggered via pull request January 28, 2025 14:13
@colin-morphocolin-morpho
synchronize #229
colin@verif/reverts-alt
Status Success
Total duration 55s
Artifacts –

formatting.yml

on: pull_request
Lint
45s
Lint
Fit to window
Zoom out
Zoom in