diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d083e203..1ee4bfbb 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -16,7 +16,7 @@ jobs:
     - name: Set up Python 3.10
       uses: actions/setup-python@v3
       with:
-        python-version: 3.10
+        python-version: "3.10"
         architecture: "x64"
     - name: Install Boogie
       run: |