Try fix ci

semigroups · Aug 31, 2024 · 28eeb36 · 28eeb36
1 parent 3fa9f22
commit 28eeb36
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git 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
@@ -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"