diff --git a/.github/workflows/certora-latest.yml b/.github/workflows/certora-latest.yml index 647f0a14..7c450ed6 100644 --- a/.github/workflows/certora-latest.yml +++ b/.github/workflows/certora-latest.yml @@ -1,4 +1,4 @@ -name: certora-staging +name: certora-latest on: push: