diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml new file mode 100644 index 0000000..e17fd05 --- /dev/null +++ b/.github/workflows/CI.yml @@ -0,0 +1,48 @@ +name: CI + +# Trigger the workflow on push or pull request +on: + - push + - pull_request + +jobs: + # The CI test job + test: + name: ${{ matrix.gap-branch }} + runs-on: ubuntu-latest + # Don't run this twice on PRs for branches pushed to the same repository + if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} + strategy: + fail-fast: false + matrix: + gap-branch: + - master + - stable-4.11 + - stable-4.10 + - stable-4.9 + + steps: + - uses: actions/checkout@v2 + - uses: gap-actions/setup-gap-for-packages@v1 + with: + GAPBRANCH: ${{ matrix.gap-branch }} + - uses: gap-actions/run-test-for-packages@v1 + + # The documentation job + manual: + name: Build manuals + runs-on: ubuntu-latest + # Don't run this twice on PRs for branches pushed to the same repository + if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} + + steps: + - uses: actions/checkout@v2 + - uses: gap-actions/setup-gap-for-packages@v1 + - uses: gap-actions/compile-documentation-for-packages@v1 + with: + use-latex: 'true' + - name: 'Upload documentation' + uses: actions/upload-artifact@v2 + with: + name: manual + path: ./doc/manual.pdf diff --git a/.release b/.release index b6a707e..57085ee 100755 --- a/.release +++ b/.release @@ -1,4 +1,4 @@ #!/bin/sh # This file is executed by the `release` script from # https://github.com/gap-system/ReleaseTools -rm -rf .travis.yml .codecov.yml +rm -rf .codecov.yml diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 5b1bdac..0000000 --- a/.travis.yml +++ /dev/null @@ -1,32 +0,0 @@ -language: c -env: - global: - - GAPROOT=gaproot - - COVDIR=coverage - -addons: - apt_packages: - - libgmp-dev - - libreadline-dev - - zlib1g-dev - -matrix: - include: - - env: GAPBRANCH="master" - - env: GAPBRANCH="stable-4.11" - - env: GAPBRANCH="stable-4.10" - - env: GAPBRANCH="stable-4.9" - -branches: - only: - - master - -before_script: - - export GAPROOT="$HOME/gap" - - git clone https://github.com/gap-system/pkg-ci-scripts.git scripts - - scripts/build_gap.sh -script: - - scripts/build_pkg.sh && scripts/run_tests.sh -after_script: - - bash scripts/gather-coverage.sh - - bash <(curl -s https://codecov.io/bash)