Update CI config

.github/workflows/CI.yml

@@ -25,33 +25,35 @@ jobs:
  matrix:
  gap-branch:
  - master
+ - stable-4.12
  - stable-4.11
  - stable-4.10
  - stable-4.9
 
  steps:
- - uses: actions/checkout@v2
+ - uses: actions/checkout@v4
  - uses: gap-actions/setup-gap@v2
  with:
  GAPBRANCH: ${{ matrix.gap-branch }}
  - uses: gap-actions/build-pkg@v1
  - uses: gap-actions/run-pkg-tests@v2
  - uses: gap-actions/process-coverage@v2
- - uses: codecov/codecov-action@v2
+ - uses: codecov/codecov-action@v3
 
  # The documentation job
  manual:
  name: Build manuals
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v2
+ - uses: actions/checkout@v4
  - uses: gap-actions/setup-gap@v2
  - uses: gap-actions/build-pkg-docs@v1
  with:
  use-latex: 'true'
  - name: 'Upload documentation'
- uses: actions/upload-artifact@v2
+ uses: actions/upload-artifact@v3
  with:
  name: manual
  path: ./doc/manual.pdf
+ if-no-files-found: error