Trying to fix workflow

marcoeilers · Feb 7, 2024 · 75c94e0 · 75c94e0
1 parent 0f3dea8
commit 75c94e0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -8,15 +8,15 @@ on: [push, pull_request, workflow_dispatch]
 jobs:
   build:
 
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     env:
       BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python 3.10
       uses: actions/setup-python@v2
       with:
-        python-version: 3.10
+        python-version: 3.10.0
     - name: Install Boogie
       run: |
         dotnet tool install --global Boogie --version 2.15.9