CI user-manual: bump python to 3.11 and setup-python to v5

Also remove single-point build matrix from the workflow.
agda · Dec 11, 2023 · 02eb3a9 · 02eb3a9
1 parent 2a0a3da
commit 02eb3a9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 13 deletions.
diff --git a/.github/workflows/user_manual.yml b/.github/workflows/user_manual.yml
@@ -7,6 +7,8 @@
 ######################################################
 jobs:
   build:
+    env:
+      python-version: '3.11'
     if: |
       !contains(github.event.head_commit.message, '[skip ci]')
       && !contains(github.event.head_commit.message, '[ci skip]')
@@ -15,10 +17,10 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v4
-    - name: Set up Python ${{ matrix.python-version }}
-      uses: actions/setup-python@v4
+    - name: Set up Python ${{ env.python-version }}
+      uses: actions/setup-python@v5
       with:
-        python-version: ${{ matrix.python-version }}
+        python-version: ${{ env.python-version }}
     - name: Install dependencies
       run: |
         pip install -r doc/user-manual/requirements.txt
@@ -41,10 +43,6 @@ jobs:
       with:
         name: user-manual-pdf
         path: doc/user-manual.pdf
-    strategy:
-      matrix:
-        python-version:
-        - '3.10'
 name: User Manual
 'on':
   pull_request:

diff --git a/src/github/workflows/user_manual.yml b/src/github/workflows/user_manual.yml
@@ -21,17 +21,16 @@ jobs:
       && !contains(github.event.head_commit.message, '[skip github]')
 
     runs-on: ubuntu-22.04
-    strategy:
-      matrix:
-        python-version: ['3.10']
+    env:
+      python-version: '3.11'
     steps:
 
     - uses: actions/checkout@v4
 
-    - name: Set up Python ${{ matrix.python-version }}
-      uses: actions/setup-python@v4
+    - name: Set up Python ${{ env.python-version }}
+      uses: actions/setup-python@v5
       with:
-        python-version: ${{ matrix.python-version }}
+        python-version: ${{ env.python-version }}
 
     - name: Install dependencies
       run: |