certora

minor correction NativeTokenRefund.spec (#922) #915

Sign in to view logs

Triggered via push March 6, 2025 09:35

mmv08

main

Status Success

Total duration 13m 59s

Artifacts –

certora.yml

on: push

Matrix: verify