Update CI

.github/workflows/CI.yml

@@ -18,26 +18,23 @@ concurrency:
 jobs:
   # The CI test job
   test:
-    name: ${{ matrix.gap-branch }} - ${{ matrix.os }}
-    runs-on: ${{ matrix.os }}
+    name: ${{ matrix.gap-branch }}
+    runs-on: ubuntu-latest
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest]
         gap-branch:
           - master
           - stable-4.12
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: gap-actions/setup-gap@v2
         with:
           GAPBRANCH: ${{ matrix.gap-branch }}
           GAP_PKGS_TO_BUILD: "io profiling grape cohomolo"
       - uses: gap-actions/build-pkg@v1
       - uses: gap-actions/run-pkg-tests@v2
-        with:
-          GAP_TESTFILE: tst/testall.g
       - uses: gap-actions/process-coverage@v2
       - uses: codecov/codecov-action@v3
 
@@ -47,13 +44,14 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: gap-actions/setup-gap@v2
       - uses: gap-actions/build-pkg-docs@v1
         with:
           use-latex: 'true'
-      - name: "Upload documentation"
+      - name: 'Upload documentation'
         uses: actions/upload-artifact@v3
         with:
           name: manual
           path: ./doc/manual.pdf
+          if-no-files-found: error