Skip to content
Back to pull request #475

Upgrading certora CLI #1294

Sign in to view logs

Upgrading certora CLI

Upgrading certora CLI #1294

Triggered via push July 29, 2024 11:44
@remedcuremedcu
pushed f5f154c
certora-update
Status Success
Total duration 1m 4s
Artifacts –

ci.yml

on: push
checks
57s
checks
Fit to window
Zoom out
Zoom in