Refresh GitHub Actions

2026-10-10 00:59:01 +00:00 · 2025-12-12 11:58:22 +01:00
parent d4705804cc
commit 5eb16a6a17
9 changed files with 22 additions and 22 deletions
@@ -19,7 +19,7 @@ jobs:
    runs-on: ubuntu-latest
    steps:
    - name: Check out code
-      uses: actions/checkout@v4
+      uses: actions/checkout@v6
      with:
        fetch-depth: 1
        ref: docs-build