Strip executables to avoid out of runner space

kwankyu · Mar 5, 2025 · e7ef2ac · e7ef2ac
1 parent 4427869
commit e7ef2ac
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.ci/write-dockerfile.sh b/.ci/write-dockerfile.sh
@@ -364,6 +364,8 @@ ARG USE_MAKEFLAGS="-k V=0"
 ENV SAGE_CHECK=warn
 ENV SAGE_CHECK_PACKAGES="!cython,!python3,!cysignals,!linbox,!ppl,!cmake,!rpy2,!sage_sws2rst"
 ARG TARGETS_OPTIONAL="ptest"
+# Strip executables in local, src, pkgs to reduce image size
+RUN LC_ALL=C find local src pkgs -type f -exec strip '{}' ';' 2>&1 | grep -v "file format not recognized" || true
 $RUN$CHECK_STATUS_THEN make SAGE_SPKG="sage-spkg -y -o" \${USE_MAKEFLAGS} \${TARGETS_OPTIONAL} || echo "(error ignored)"$ENDRUN$THEN_SAVE_STATUS
 
 #:end:

diff --git a/.github/workflows/ci-linux.yml b/.github/workflows/ci-linux.yml
@@ -156,9 +156,10 @@ jobs:
           ["maximal"]
       free_disk_space: true
       incremental: false
-      docker_targets: "with-system-packages configured with-targets-pre with-targets"
+      docker_targets: "with-system-packages configured with-targets-pre with-targets with-targets-optional"
       targets_pre: all-sage-local
       targets: build doc-html
+      targets_optional: ptest
       docker_push_repository: ghcr.io/${{ github.repository }}/
 
   optional: