Trying to fix workflow

marcoeilers · Feb 7, 2024 · a06f956 · a06f956
1 parent 75c94e0
commit a06f956
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -14,9 +14,10 @@ jobs:
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python 3.10
-      uses: actions/setup-python@v2
+      uses: actions/setup-python@v3
       with:
-        python-version: 3.10.0
+        python-version: 3.10
+        architecture: "x64"
     - name: Install Boogie
       run: |
         dotnet tool install --global Boogie --version 2.15.9