certora

Merge pull request #709 from safe-global/deps/upgrade #356

Sign in to view logs

Triggered via push November 23, 2023 12:19

mmv08

main

Status Success

Total duration 2m 55s

Artifacts –

certora.yml

on: push

Matrix: verify