certora

`v1.5.0` Audit (#912) #902

Sign in to view logs

Triggered via push February 18, 2025 12:54

remedcu

main

Status Success

Total duration 14m 4s

Artifacts –

certora.yml

on: push

Matrix: verify