Try fix ci

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

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -60,6 +60,10 @@ jobs:
           GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling"
           GAPBRANCH: ${{ matrix.gap-branch }}
           ABI: ${{ matrix.ABI }}
+      - name: "TODO"
+        if: ${{ matrix.gap-branch == '4.12' }}
+        with:
+        GAP_PKGS_TO_CLONE: digraphs/digraphs
       - name: "Build Semigroups"
         uses: gap-actions/build-pkg@v1
         with:

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"