Merge branch 'master' into _update-deps/runtimeverification/k

runtimeverification · Jan 7, 2025 · ab02cd4 · ab02cd4
2 parents 5056dff + 3c722ea
commit ab02cd4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -12,6 +12,10 @@ jobs:
     name: 'Code Quality Checks'
     runs-on: ubuntu-latest
     steps:
+      - name: 'Setup Python 3.10'
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.10'
       - name: 'Check out code'
         uses: actions/checkout@v4
       - name: 'Install Poetry'