Skip to content
Certora

[Certora] Exit liquidity #23

Sign in to view logs

[Certora] Exit liquidity

[Certora] Exit liquidity #23

Triggered via pull request August 16, 2023 08:41
@QGarcheryQGarchery
synchronize #316
certora/exit-liquidity
Status Success
Total duration 4m 47s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in