Certora

Merge pull request #686 from omahs/patch-1 #557

Sign in to view logs

Re-run triggered July 11, 2024 07:45

QGarchery

main

Status Success

Total duration 3m 59s

Artifacts –

certora.yml

on: push

Matrix: verify