Skip to content
lint workflows

Update certora-cli to 7.3.0 #643

Sign in to view logs

Update certora-cli to 7.3.0

Update certora-cli to 7.3.0 #643

Triggered via pull request May 24, 2024 17:32
@ernestognwernestognw
synchronize #5021
update/certora-7.3.0
Status Success
Total duration 19s
Artifacts –

actionlint.yml

on: pull_request
lint
8s
lint
Fit to window
Zoom out
Zoom in