Skip to content
lint workflows

Update certora-cli to 7.3.0 #595

Sign in to view logs

Update certora-cli to 7.3.0

Update certora-cli to 7.3.0 #595

Run time

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