Update CI

Author: fingolfin

.github/workflows/CI.yml

@@ -30,14 +30,14 @@ jobs:
           - stable-4.12
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: gap-actions/setup-gap@v2
         with:
           GAP_PKGS_TO_BUILD: "datastructures digraphs json io profiling orb semigroups"
           GAPBRANCH: ${{ matrix.gap-branch }}
       - uses: gap-actions/build-pkg@v1
-      - uses: gap-actions/run-pkg-tests@v2
-      - uses: gap-actions/run-pkg-tests@v2
+      - uses: gap-actions/run-pkg-tests@v3
+      - uses: gap-actions/run-pkg-tests@v3
         with:
           only-needed: true
       - uses: gap-actions/process-coverage@v2
@@ -51,7 +51,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: gap-actions/setup-gap@v2
         with:
           GAP_PKGS_TO_BUILD: "datastructures digraphs json io profiling orb semigroups"