fixing python version

Certora · Jan 12, 2025 · b6db6be · b6db6be
1 parent ef61324
commit b6db6be
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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