From 2639a3a77f94fc44ba3c99e0b70d6dc9a0328d09 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Wed, 22 May 2024 16:51:37 +0200
Subject: [PATCH] Add CI job against GAP master

---
 .github/workflows/gap.yml | 72 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 72 insertions(+)
 create mode 100644 .github/workflows/gap.yml

diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
new file mode 100644
index 000000000..749b3d865
--- /dev/null
+++ b/.github/workflows/gap.yml
@@ -0,0 +1,72 @@
+name: CI with gap master
+
+on:
+  push:
+    branches:
+      - 'master'
+      - 'release-*'
+    tags: '*'
+  pull_request:
+
+concurrency:
+  # group by workflow and ref; the last slightly strange component ensures that for pull
+  # requests, we limit to 1 concurrent job, but for the default repository branch we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref_name != github.event.repository.default_branch || github.run_number }}
+  # Cancel intermediate builds, but only if it is a pull request build.
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
+jobs:
+  test:
+    name: Julia ${{ matrix.julia-version }} - ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    timeout-minutes: 20
+    continue-on-error: ${{ matrix.julia-version == 'nightly' }}
+    strategy:
+      fail-fast: false
+      matrix:
+        julia-version:
+          #- '1.6'
+          - '1.10'
+          #- 'nightly'
+        julia-arch:
+          - x64
+        os:
+          - ubuntu-latest
+        include:
+          # Add a few macOS jobs (not too many, the number we can run in parallel is limited)
+          # - julia-version: '1.10'
+          #   julia-arch: x64
+          #   os: macOS-latest
+          # - julia-version: 'nightly'
+          #   julia-arch: x64
+          #   os: macOS-latest
+
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          # For Codecov, we must also fetch the parent of the HEAD commit to
+          # be able to properly deal with PRs / merges
+          fetch-depth: 2
+      - name: "Set up Julia"
+        uses: julia-actions/setup-julia@v2
+        with:
+          version: ${{ matrix.julia-version }}
+          arch: ${{ matrix.julia-arch }}
+      - name: Checkout GAP
+        uses: actions/checkout@v4
+        with:
+          repository: 'gap-system/gap'
+          ref: 'master'
+          path: 'GAPROOT'
+      - name: "Build GAP"
+        run: |
+          cd GAPROOT
+          ./autogen.sh
+          make
+      - name: "Override bundled GAP"
+        run: |
+          julia --proj=override etc/setup_override_dir.jl GAPROOT /tmp/gap_jll_override
+      - name: "Run tests"
+        run: |
+           julia --proj=override etc/run_with_override.jl /tmp/gap_jll_override --depwarn=error -e "using Pkg; Pkg.test()"
+