From b6db6be68491917d6f8e13712f02c7243eb0c678 Mon Sep 17 00:00:00 2001
From: Michael M <MichaelM@certora.com>
Date: Sun, 12 Jan 2025 12:37:12 +0200
Subject: [PATCH] fixing python version

---
 .github/workflows/certora-GSM-4626.yml | 2 +-
 .github/workflows/certora-gho-505.yml  | 2 +-
 .github/workflows/certora-gho.yml      | 2 +-
 .github/workflows/certora-gsm.yml      | 2 +-
 .github/workflows/certora-steward.yml  | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

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