certora

fix function Safe.spec (#923) #916

Sign in to view logs

Triggered via push March 6, 2025 09:35

mmv08

main

Status Success

Total duration 13m 23s

Artifacts –

certora.yml

on: push

Matrix: verify