ci: strip binaries in their respective runners (#2868)

2026-07-08 14:36:52 -04:00 · 2023-07-30 16:50:24 -06:00
parent a918e2d9de
commit 71225ec577
5 changed files with 37 additions and 9 deletions
@@ -15,10 +15,6 @@ if [ "$PREP_BIN" = "true" ]; then
  cp $BIN_SOURCE/goalc/goalc $DEST
  cp $BIN_SOURCE/decompiler/extractor $DEST

-  strip $DEST/gk
-  strip $DEST/goalc
-  strip $DEST/extractor
-
  chmod +x $DEST/gk
  chmod +x $DEST/goalc
  chmod +x $DEST/extractor