CI: use actions/setup-python (#1061)

Also run tools-test.yml if modified

Author: fingolfin

.github/workflows/assemble-distro.yml

@@ -47,6 +47,11 @@ jobs:
           restore-keys: |
             archives-
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 

.github/workflows/pull-request.yml

@@ -37,6 +37,11 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 

.github/workflows/scan-for-updates.yml

@@ -60,6 +60,11 @@ jobs:
           GAP_PKGS_TO_CLONE: 'crypting json'
           GAP_PKGS_TO_BUILD: 'crypting json'
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install prerequisites for package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 

.github/workflows/test-all.yml

@@ -86,6 +86,11 @@ jobs:
           restore-keys: |
             archives-
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 
@@ -249,6 +254,11 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 
@@ -351,6 +361,11 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: "Install package distribution tools"
         run: python -m pip install -r tools/requirements.txt
 

.github/workflows/tools-tests.yml

@@ -9,19 +9,26 @@ on:
   push:
     paths:
       - 'tools/*'
+      - '.github/workflows/tools-test.yml'  # modified workflow may affect tools
     branches:
       - main
   pull_request:
     paths:
       - 'tools/*'
+      - '.github/workflows/tools-test.yml'  # modified workflow may affect tools
 
 jobs:
-  py39:
+  py311:
     name: "Run tests"
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
 
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - name: Install dependencies
         run: |
           python -m pip install -r tools/requirements.txt

.github/workflows/update-latest-report.yml

@@ -30,6 +30,11 @@ jobs:
     name: "Upload report"
     runs-on: ubuntu-20.04
     steps:
+      - name: "Set up Python"
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.11"
+
       - uses: actions/checkout@v4
 
       - name: "Install package distribution tools"