Certora

No share price decrease (1) #1

Sign in to view logs

Triggered via pull request July 30, 2024 12:31

MathisGD

opened #3

feat/no-share-price-decrease

Status Success

Total duration 40m 48s

Billable time 4h 35m

Artifacts –

certora.yml

on: pull_request

Matrix: verify