chore: fixed the certora github action

liquid-collective · Oct 22, 2024 · 2d248e8 · 2d248e8
1 parent f22bbbc
commit 2d248e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Certora.yaml b/.github/workflows/Certora.yaml
@@ -44,7 +44,7 @@ jobs:
             certora/confs_for_CI/${{ matrix.params.command }} \
             --msg "$(echo $message | sed 's/[^a-zA-Z0-9., _-]/ /g')"
         env:
-          CERTORAKEY: ${{ secrets.CERTORAKEY }}
+          CERTORAKEY: ${{ secrets.CERTORA_KEY }}
 
     strategy:
       fail-fast: false