diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f830c8dd8..d76e2d41a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -51,8 +51,16 @@ jobs: LDFLAGS: "-pthread" with: GAP_PKGS_TO_BUILD: "digraphs io orb datastructures profiling" + # TODO remove the following when graphviz is released + GAP_PKGS_TO_CLONE: "james-d-mitchell/Digraphs digraphs/graphviz" GAPBRANCH: ${{ matrix.gap-branch }} ABI: ${{ matrix.ABI }} + - name: "Checkout digraphs graphviz branch (TMP REMOVE)!" + run: | + cd $HOME/gap/pkg/digraphs + git remote -v + git fetch origin graphviz --depth 1 + git checkout graphviz - name: "Build Semigroups" uses: gap-actions/build-pkg@v1 with: