Skip to content

Commit 1a2238b

Browse files
authored
Remove hack which builds the IO package (#62)
This was/is a workaround for issues in RepnDecomp and HeLP and maybe other packages that went undetected so far.
1 parent 4170b55 commit 1a2238b

1 file changed

Lines changed: 0 additions & 8 deletions

File tree

action.yml

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -222,11 +222,3 @@ runs:
222222
WGET="wget -q -N --no-check-certificate --tries=5 --waitretry=5 --retry-connrefused"
223223
# For GAP >= 4.11 set DOWNLOAD, for older versions set WGET
224224
make bootstrap-pkg-full DOWNLOAD="$WGET" WGET="$WGET"
225-
226-
# FIXME/HACK: for the time being, build the io package, until we have
227-
# dealt with <https://github.com/gap-packages/RepnDecomp/issues/23>
228-
- name: "Build the IO package"
229-
shell: bash
230-
run: |
231-
cd ${GAPROOT}/pkg
232-
../bin/BuildPackages.sh --strict io*

0 commit comments

Comments
 (0)