CI: add a Cygwin job

gap-packages · Jan 27, 2022 · 0594cdd · 0594cdd
1 parent 1496851
commit 0594cdd
Showing 1 changed file with 17 additions and 0 deletions.
diff --git 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