From 250291738ad49cd44805bb77284682d6148552ce Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 8 Sep 2025 01:06:29 +0200
Subject: [PATCH] Workaround: build IO package again

Deals with https://github.com/gap-packages/RepnDecomp/issues/23
and other similar issues that were hidden by io always being
loadable. Once all of those are resolved, we can drop this hack.
---
 action.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/action.yml b/action.yml
index 3cf8ddb..58b1f70 100644
--- a/action.yml
+++ b/action.yml
@@ -165,3 +165,8 @@ runs:
         WGET="wget -q -N --no-check-certificate --tries=5 --waitretry=5 --retry-connrefused"
         # For GAP >= 4.11 set DOWNLOAD, for older versions set WGET
         make bootstrap-pkg-full DOWNLOAD="$WGET" WGET="$WGET"
+
+        # FIXME/HACK: for the time being, build the io package, until we have
+        # dealt with <https://github.com/gap-packages/RepnDecomp/issues/23>
+        cd pkg
+        ../bin/BuildPackages.sh --strict io*