[Docker] Bump CI image deps: sphinx-book-theme + z3-static#19835
Conversation
![gemini-code-assist[bot]](https://avatars.githubusercontent.com/in/956858?s=60&v=4){kind=small}
There was a problem hiding this comment.
Code Review
This pull request updates the Sphinx documentation setup in the Docker installation scripts. Specifically, it removes the tlcpack-sphinx-addon package from both the general Python package installation and the Sphinx installation scripts. Additionally, it replaces the sphinx_rtd_theme with sphinx-book-theme and pydata-sphinx-theme in the Sphinx installation script. There are no review comments, and I have no feedback to provide.
Important
The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.
Bump the CI image Python dependencies, batched into one docker rebuild: Docs theme (for the sphinx-book-theme migration): - ubuntu_install_sphinx.sh: replace sphinx_rtd_theme + tlcpack-sphinx-addon with sphinx-book-theme==1.1.4 + pydata-sphinx-theme==0.15.4. 1.1.4 (not 1.2.0) is used because it supports both Sphinx 8.1.3 (sphinx>=6.1, no upper bound) and the image's Python 3.10 (requires-python>=3.9); 1.2.0 requires Python>=3.11. 1.1.4 hard-pins pydata-sphinx-theme==0.15.4. - ubuntu_install_python_package.sh: drop the now-unused tlcpack-sphinx-addon pin. Z3 prover: - ubuntu_install_python_package.sh: add z3-static==4.16.0.post1 for the optional Z3-backed Analyzer proving. This is the docker-bump step: after it merges and the rebuilt image is published, ci/jenkins/docker-images.ini is pointed at the new tag, after which the docs/conf.py book-theme switch (PR apache#19828) can build the docs.
tlopex
force-pushed
the
docker-deps-book-theme
branch
from
75dcfd2 to
3fba8aa
Compare
tlopex
changed the title
3 participants
This pr bumps the CI image Python dependencies, batched into one docker rebuild:
Docs theme (for the sphinx-book-theme migration):
ubuntu_install_sphinx.sh: replacesphinx_rtd_theme+tlcpack-sphinx-addonwithsphinx-book-theme==1.1.4+pydata-sphinx-theme==0.15.4. 1.1.4 (not 1.2.0) is used because it supports both Sphinx 8.1.3 (sphinx>=6.1, no upper bound) and the image's Python 3.10 (requires-python>=3.9); 1.2.0 requires Python>=3.11. 1.1.4 hard-pinspydata-sphinx-theme==0.15.4.ubuntu_install_python_package.sh: drop the now-unusedtlcpack-sphinx-addonpin.Z3 prover:
ubuntu_install_python_package.sh: addz3-static==4.16.0.post1for the optional Z3-backed Analyzer proving.