Update test.yml

marcoeilers · Aug 22, 2023 · c89478e · c89478e
1 parent 362ee73
commit c89478e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -13,10 +13,10 @@ jobs:
       BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps:
     - uses: actions/checkout@v2
-    - name: Set up Python 3.8
+    - name: Set up Python 3.9
       uses: actions/setup-python@v2
       with:
-        python-version: 3.8
+        python-version: 3.9
     - name: Install Boogie
       run: |
         dotnet tool install --global Boogie --version 2.15.9