From eff7f6353df84acd93ffa63a1d8ce9a38bcd9595 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 9 Sep 2025 16:34:09 +0200
Subject: [PATCH] Remove hack which builds the IO package

This was/is a workaround for issues in RepnDecomp and HeLP
and maybe other packages that went undetected so far.
---
 action.yml | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/action.yml b/action.yml
index f86fd04..5814d70 100644
--- a/action.yml
+++ b/action.yml
@@ -165,11 +165,3 @@ 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>
-    - name: "Build the IO package"
-      shell: bash
-      run: |
-        cd ${GAPROOT}/pkg
-        ../bin/BuildPackages.sh --strict io*