diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f53b931af..65fe4cb17 100644 --- 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 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"