safe-smart-account

Update Certora CLI Version (#944) #3018

Sign in to view logs

Triggered via push April 10, 2025 12:16

nlordell

main

Status Success

Total duration 5m 55s

Artifacts –

ci.yml

on: push

lint-typescript

Matrix: benchmarks

Matrix: coverage

⚡