Certora

[Certora] Market interactions #292

Sign in to view logs

Triggered via pull request March 22, 2024 14:31

QGarchery

synchronize #410

certora/check-supply-withdraw-markets

Status Success

Total duration 12m 44s

Artifacts –

certora.yml

on: pull_request

Matrix: verify