fix: Fix name of certora CI yml

aave · Dec 20, 2023 · a97015c · a97015c
1 parent f9db9b7
commit a97015c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-latest.yml b/.github/workflows/certora-latest.yml
@@ -1,4 +1,4 @@
-name: certora-staging
+name: certora-latest
 
 on:
   push: