Skip to content

chore(certora): dont wait for results #64

chore(certora): dont wait for results

chore(certora): dont wait for results #64

Annotations

2 warnings

verify

succeeded Oct 14, 2024 in 3m 45s