Skip to content

Commit

Permalink
Update CI config
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Mar 17, 2024
1 parent 3cba5de commit 0406e60
Showing 1 changed file with 5 additions and 14 deletions.
19 changes: 5 additions & 14 deletions .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ concurrency:
jobs:
# The CI test job
test:
name: ${{ matrix.gap-branch }} ${{ matrix.ABI }}
name: ${{ matrix.gap-branch }}
runs-on: ubuntu-latest
strategy:
fail-fast: false
Expand All @@ -29,39 +29,30 @@ jobs:
- stable-4.11
- stable-4.10
- stable-4.9
ABI: ['']
include:
- gap-branch: master # add one test in 32bit mode -- nostly for packages with kernel extension
ABI: 32
- gap-branch: master
runs-on: macos-latest

steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- uses: gap-actions/setup-gap@v2
with:
GAPBRANCH: ${{ matrix.gap-branch }}
ABI: ${{ matrix.ABI }}
- uses: gap-actions/build-pkg@v1
with:
ABI: ${{ matrix.ABI }}
- uses: gap-actions/run-pkg-tests@v2
- uses: gap-actions/process-coverage@v2
- uses: codecov/codecov-action@v3
- uses: codecov/codecov-action@v4

# The documentation job
manual:
name: Build manuals
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'
uses: actions/upload-artifact@v3
uses: actions/upload-artifact@v4
with:
name: manual
path: ./doc/manual.pdf
Expand Down

0 comments on commit 0406e60

Please sign in to comment.