CI: install latest version of automata

gap-packages · Aug 30, 2024 · de4b8fa · de4b8fa
1 parent d950f73
commit de4b8fa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -35,6 +35,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: gap-actions/setup-gap@v2
         with:
+          GAP_PKGS_TO_CLONE: "automata"
           GAPBRANCH: ${{ matrix.gap-branch }}
       - uses: gap-actions/build-pkg@v1
       - uses: gap-actions/run-pkg-tests@v2