Skip to content

Commit

Permalink
CI: Ensure code coverage reporting will work in February 2022 and beyond
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Jan 26, 2022
1 parent c8f6ed7 commit f167c77
Showing 1 changed file with 8 additions and 5 deletions.
13 changes: 8 additions & 5 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,10 +23,13 @@ jobs:

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

# The documentation job
manual:
Expand All @@ -37,12 +40,12 @@ jobs:

steps:
- uses: actions/checkout@v2
- uses: gap-actions/setup-gap-for-packages@v1
- uses: gap-actions/compile-documentation-for-packages@v1
- uses: gap-actions/setup-gap@v2
- uses: gap-actions/build-pkg-docs@v1
with:
use-latex: 'true'
- name: 'Upload documentation'
uses: actions/upload-artifact@v1
uses: actions/upload-artifact@v2
with:
name: manual
path: ./doc/manual.pdf

0 comments on commit f167c77

Please sign in to comment.