CI: test with GAP 4.13; test with mininimal set of packages loaded

.github/workflows/CI.yml

@@ -25,6 +25,7 @@ jobs:
  matrix:
  gap-branch:
  - master
+ - stable-4.13
  - stable-4.12
  - stable-4.11
  - stable-4.10
@@ -36,6 +37,9 @@ jobs:
  GAPBRANCH: ${{ matrix.gap-branch }}
  - uses: gap-actions/build-pkg@v1
  - uses: gap-actions/run-pkg-tests@v2
+ - uses: gap-actions/run-pkg-tests@v2
+ with:
+ only-needed: true
  - uses: gap-actions/process-coverage@v2
  - uses: codecov/codecov-action@v3
 
@@ -51,7 +55,7 @@ jobs:
  with:
  use-latex: 'true'
  - name: 'Upload documentation'
- uses: actions/upload-artifact@v3
+ uses: actions/upload-artifact@v4
  with:
  name: manual
  path: ./doc/manual.pdf