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 + cd pkg + ../bin/BuildPackages.sh --strict io*