Certora

No min timelock at initialisation #29

Sign in to view logs

Triggered via pull request August 9, 2024 12:23

MathisGD

synchronize #7

feat/other-features

Status Success

Total duration 2h 31m 1s

Billable time 7h 22m

Artifacts –

certora.yml

on: pull_request

Matrix: verify