diff --git a/.github/workflows/certora-GSM-4626.yml b/.github/workflows/certora-GSM-4626.yml
index b04ab956..08b190a3 100644
--- a/.github/workflows/certora-GSM-4626.yml
+++ b/.github/workflows/certora-GSM-4626.yml
@@ -21,7 +21,7 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v25
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
diff --git a/.github/workflows/certora-gho-505.yml b/.github/workflows/certora-gho-505.yml
index 9eb33d65..bebf9208 100644
--- a/.github/workflows/certora-gho-505.yml
+++ b/.github/workflows/certora-gho-505.yml
@@ -21,7 +21,7 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v25
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
diff --git a/.github/workflows/certora-gho.yml b/.github/workflows/certora-gho.yml
index f24e18ae..c546c621 100644
--- a/.github/workflows/certora-gho.yml
+++ b/.github/workflows/certora-gho.yml
@@ -21,7 +21,7 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v25
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
diff --git a/.github/workflows/certora-gsm.yml b/.github/workflows/certora-gsm.yml
index 72032f17..be39ac4e 100644
--- a/.github/workflows/certora-gsm.yml
+++ b/.github/workflows/certora-gsm.yml
@@ -21,7 +21,7 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v25
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
diff --git a/.github/workflows/certora-steward.yml b/.github/workflows/certora-steward.yml
index 13ff1c95..b7bc01bf 100644
--- a/.github/workflows/certora-steward.yml
+++ b/.github/workflows/certora-steward.yml
@@ -21,7 +21,7 @@ jobs:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v25
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java