From 28eeb368dd3f112c4a907e4b4837874eb6e102df Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Sat, 31 Aug 2024 14:33:58 +0100
Subject: [PATCH] Try fix ci

---
 .github/workflows/ci.yml             | 1 +
 .github/workflows/config-options.yml | 3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f53b931af..e5b27c3ab 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,6 +57,7 @@ jobs:
           # removed in the fullness of time.
           LDFLAGS: "-pthread"
         with:
+          GAP_PKGS_TO_CLONE: digraphs/digraphs
           GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
           GAPBRANCH: ${{ matrix.gap-branch }}
           ABI: ${{ matrix.ABI }}
diff --git a/.github/workflows/config-options.yml b/.github/workflows/config-options.yml
index b81965542..6067886eb 100644
--- a/.github/workflows/config-options.yml
+++ b/.github/workflows/config-options.yml
@@ -10,7 +10,6 @@ jobs:
   enable-debug:
     runs-on: "ubuntu-latest"
     env:
-      GAPBRANCH: "stable-4.12"
       ABI: 64
     steps:
       - uses: actions/checkout@v4
@@ -44,7 +43,6 @@ jobs:
         uses: gap-actions/setup-gap@v2
         with:
           GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
-          GAPBRANCH: stable-4.12
           ABI: 64
       - name: "Build Semigroups"
         uses: gap-actions/build-pkg@v1
@@ -62,7 +60,6 @@ jobs:
   with-external-libsemigroups:
     runs-on: "ubuntu-latest"
     env:
-      GAPBRANCH: "stable-4.12"
       ABI: 64
       PKG_CONFIG_PATH: "/home/runner/micromamba/envs/libsemigroups/lib/pkgconfig:/home/runner/micromamba/envs/libsemigroups/share/pkgconfig/"
       LD_LIBRARY_PATH: "/home/runner/micromamba/envs/libsemigroups/lib"