diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 18c3949..6ae2dc3 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -44,6 +44,23 @@ jobs: - uses: gap-actions/process-coverage@v2 - uses: codecov/codecov-action@v2 + test-cygwin: + name: "master cygwin64 HPC no" + if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }} + runs-on: windows-latest + env: + CHERE_INVOKING: 1 + steps: + - uses: actions/checkout@v2 + - uses: gap-actions/setup-cygwin@v1 + - uses: gap-actions/setup-gap@cygwin-v2 + with: + GAP_PKGS_TO_BUILD: '' + - uses: gap-actions/build-pkg@cygwin-v1 + - uses: gap-actions/run-pkg-tests@cygwin-v2 + with: + NO_COVERAGE: 'yes' + # The documentation job manual: name: Build manuals