Include gmaketest in Yices sparse checkout

disteph · disteph · commit 9ff6067a200c · 2026-04-01T23:52:30.000-07:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,6 +39,7 @@ jobs:
             configure.ac
             config.guess
             config.sub
+            gmaketest
             install-sh
             make.include.in
             autoconf
@@ -98,6 +99,7 @@ jobs:
             configure.ac
             config.guess
             config.sub
+            gmaketest
             install-sh
             make.include.in
             autoconf
