diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
index 4e418d0e..e1abcc59 100644
--- a/.github/workflows/certora-basic.yml
+++ b/.github/workflows/certora-basic.yml
@@ -28,14 +28,13 @@ jobs:
       - name: Check key
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
-        run: echo "key length" ${#CERTORAKEY}
 
       - name: Install python
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
-        uses: actions/setup-java@v1
+        uses: actions/setup-java@v4
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli
diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
index 04714798..559d5e2f 100644
--- a/.github/workflows/certora-stata.yml
+++ b/.github/workflows/certora-stata.yml
@@ -20,11 +20,11 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
-        uses: actions/setup-java@v1
+        uses: actions/setup-java@v4
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli