From f0f93fa22f1ea541018d20b05caae4ae552bcc25 Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Mon, 8 Sep 2025 00:40:06 +0100 Subject: [PATCH] Adjust workaround: build IO package in all cases --- action.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/action.yml b/action.yml index fb19ce1..f86fd04 100644 --- a/action.yml +++ b/action.yml @@ -166,7 +166,10 @@ runs: # 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 - cd pkg + # FIXME/HACK: for the time being, build the io package, until we have + # dealt with + - name: "Build the IO package" + shell: bash + run: | + cd ${GAPROOT}/pkg ../bin/BuildPackages.sh --strict io*