update audit #579

Sign in to view logs

Triggered via pull request September 29, 2024 17:29

MathisGD

synchronize #694

chore/audits

Status Success

Total duration 11m 51s

Artifacts –

certora.yml

on: pull_request

Matrix: verify