Skip to content
lint workflows

Update certora-cli to 7.3.0 #709

Sign in to view logs

Update certora-cli to 7.3.0

Update certora-cli to 7.3.0 #709

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
10s
10s