Refresh CI

diff --git a/.github/workflows/make-docs.yml b/.github/workflows/make-docs.yml
index 7280a320ade1f568bfab82d57e3ecb9a0e82f55b..f4f9614e06d272fef6463381b2d4b27c3982ecd2 100644 (file)
--- a/.github/workflows/make-docs.yml
+++ b/.github/workflows/make-docs.yml
@@ -11,10 +11,12 @@ on:
 
 jobs:
   make-docs:
-    runs-on: ubuntu-latest
+    name: Make docs branch
+    runs-on: ubuntu-26.04
     steps:
-      - name: Checkout repository
-        uses: actions/checkout@v6
+      - uses: actions/checkout@v7
+        with:
+          persist-credentials: false
 
       - name: Build README.md
         shell: pwsh