certora

Update Certora CLI Version (#944) #949

Sign in to view logs

Triggered via push April 10, 2025 12:16

nlordell

main

Status Success

Total duration 11m 40s

Artifacts –

certora.yml

on: push

Matrix: verify

⚡