Strip symbol tables from the compiled extensions in the Docker image - #2439

Merged

Flix6x merged 7 commits into

mainfrom

fix/docker-strip-symbols

Aug 26, 2026

Commits on Aug 25, 2026

fix: shrink docker image by excluding dev deps and pruning sktime's stray docs/examples
TeaDrinkingProgrammer
committed
0b697c7
docs: fill in the PR number in the changelog entry
Flix6x
committed
6429a11
docker: strip symbol tables from the compiled extensions
Flix6x
committed
46f06e1
docs: widen the Docker image entry to cover the stripping
Flix6x
committed
6987c0d
Merge main into fix/docker-strip-symbols
Flix6x
committed
12101ab
docker: fail the build when strip is missing, instead of silently skipping
Flix6x
committed
f1b5ac9

Commits on Aug 26, 2026

docker: break the strip comment only after punctuation
Flix6x
committed
2554df2