[ci] Update GitHub Actions to latest major release

Fix warning that Node.js 20 is disconinued in June
2026-04-04 22:28:48 +02:00
parent 57f738b380
commit 34f4f81947
9 changed files with 12 additions and 12 deletions
@@ -83,7 +83,7 @@ jobs:
            other_pkgs: g++-11

    steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v6

    - name: Add repositories for older compilers
      run: |