From 0594cddbf94aef942f277ce2845793214fc1d8da Mon Sep 17 00:00:00 2001
From: Wilf Wilson <wilf@wilf-wilson.net>
Date: Thu, 27 Jan 2022 10:43:26 +0000
Subject: [PATCH] CI: add a Cygwin job

---
 .github/workflows/CI.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 18c3949..2838179 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