Bump versions in workflows

Author: finsberg

.github/workflows/build_docs.yml

@@ -10,30 +10,30 @@ on:
 
 jobs:
   build_docs:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     env:
-      PYTHON_VERSION: "3.10"
+      PYTHON_VERSION: "3.12"
       PUBLISH_DIR: ./_build/html
 
     steps:
       # checkout the repository
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       # setup Python
       - name: Install Python ${{ env.PYTHON_VERSION }}
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v6
         with:
           python-version: ${{ env.PYTHON_VERSION }}
 
       # preserve pip cache to speed up installation
       - name: Cache pip
-        uses: actions/cache@v3
+        uses: actions/cache@v5
         with:
           path: ~/.cache/pip
           # Look to see if there is a cache hit for the corresponding requirements file
           key: ${{ runner.os }}-pip-${{ hashFiles('*requirements-docs.txt') }}
           restore-keys: |
-            ${{ runner.os }}-pip-
+            ${{ runner.os }}-pip-${{ hashFiles('requirements-docs.txt') }}
       - name: Install Python dependencies
         run: |
           python3 -m pip install --upgrade pip
@@ -43,7 +43,7 @@ jobs:
         run: python3 -m jupyter book build .
 
       - name: Upload artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v5
         with:
           name: documentation
           path: ${{ env.PUBLISH_DIR }}

.github/workflows/deploy_docs.yml

@@ -1,51 +1,41 @@
-name: Github Pages
+name: Publish documentation
 
 on:
   push:
-    branches: [main]  # Only run on push to main
+    branches: [main]
+  workflow_dispatch:
+
 
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read
   pages: write
   id-token: write
 
-# Allow one concurrent deployment
 concurrency:
   group: "pages"
   cancel-in-progress: true
 
 jobs:
-  build-docs:
+
+  build:
     uses: ./.github/workflows/build_docs.yml
 
   deploy:
-    needs: [build-docs]
-
+    needs: build
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
     runs-on: ubuntu-latest
-    steps:
-      - name: Download docs artifact
-        # docs artifact is uploaded by build-docs job
-        uses: actions/download-artifact@v3
-        with:
-          name: documentation
-          path: "./public"
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v2
-        with:
-          path: "./public"
 
+    steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Setup Pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v5
+
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4

.github/workflows/pre-commit.yml

@@ -9,10 +9,10 @@ on:
 
 jobs:
   check-code:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       # This action sets the current path to the root of your github repo
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - name: Install pre-commit
         run: python3 -m pip install pre-commit