certora

fix: upgrade certora prover version to 7.26.0 (#93) #17

Sign in to view logs

Triggered via push March 27, 2025 08:59

main

Status Success

Total duration 10m 46s

Artifacts –

certora.yml

on: push

Matrix: verify