Skip to content

Commit 56db7f9

Browse files
authored
Don't build IO (#77)
This was always meant as a workaround to deal with certain slightly buggy packages. It should not be needed anymore.
1 parent 76c1b7a commit 56db7f9

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
@@ -253,11 +253,3 @@ runs:
253253
WGET="wget -q -N --no-check-certificate --tries=5 --waitretry=5 --retry-connrefused"
254254
# For GAP >= 4.11 set DOWNLOAD, for older versions set WGET
255255
make bootstrap-pkg-full DOWNLOAD="$WGET" WGET="$WGET"
256-
257-
# FIXME/HACK: for the time being, build the io package, until we have
258-
# dealt with <https://github.com/gap-packages/RepnDecomp/issues/23>
259-
- name: "Build the IO package"
260-
shell: bash
261-
run: |
262-
cd ${GAPROOT}/pkg
263-
../bin/BuildPackages.sh --strict io*

0 commit comments

Comments
 (0)