diff --git a/.github/workflows/Certora.yaml b/.github/workflows/Certora.yaml
index 21a83362..edb949be 100644
--- 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