Workflow: Increment python version

esbmc · Nov 4, 2024 · 5ce1a57 · 5ce1a57
1 parent 2f6f172
commit 5ce1a57
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -12,7 +12,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v5.3.0
         with:
-          python-version: "3.11"
+          python-version: "3.12.0"
 
       - name: Check out repository code
         uses: actions/checkout@v4.2.2
@@ -43,7 +43,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v5.3.0
         with:
-          python-version: "3.11"
+          python-version: "3.12.0"
 
       - name: Install pipenv
         run: |
@@ -71,7 +71,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v5.3.0
         with:
-          python-version: "3.11"
+          python-version: "3.12.0"
 
       - name: Download Requirements
         uses: actions/download-artifact@v4.1.8