certora

fix error Guards.spec (#921) #912

Sign in to view logs

Triggered via push February 28, 2025 09:59

mmv08

main

Status Success

Total duration 10m 26s

Artifacts –

certora.yml

on: push

Matrix: verify