Pin Python version for code quality checks.

pin python version on public runners. https://github.com/runtimeverification/evm-semantics/actions/runs/12629580595/job/35187761558#step:4:86 Public runners use python version determined by Github.
runtimeverification · Jan 6, 2025 · 30d5a9a · 30d5a9a
1 parent 5e7a593
commit 30d5a9a
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'