From de4b8faf940fa7e9258952b6fb354931a57b5dad Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 30 Aug 2024 13:36:40 +0100
Subject: [PATCH] CI: install latest version of automata

---
 .github/workflows/CI.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 413c14b..308b875 100644
--- 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