Merge pull request #426 from omahs/patch-1 #361

Sign in to view logs

Triggered via push August 2, 2024 13:06

main

Status Success

Total duration 41m 16s

Artifacts –

certora.yml

on: push

Matrix: verify