This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm.git
The following commit(s) were added to refs/heads/main by this push:
new 4174cdf541 [Docker] Bump CI image deps: sphinx-book-theme + z3-static
(#19835)
4174cdf541 is described below
commit 4174cdf541dca0a1163d3d7e0d19bb58a3660765
Author: Shushi Hong <[email protected]>
AuthorDate: Fri Jun 19 17:14:35 2026 -0400
[Docker] Bump CI image deps: sphinx-book-theme + z3-static (#19835)
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`: 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.
---
docker/install/ubuntu_install_python_package.sh | 4 ++--
docker/install/ubuntu_install_sphinx.sh | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/docker/install/ubuntu_install_python_package.sh
b/docker/install/ubuntu_install_python_package.sh
index d69f732f59..d07f19ed3c 100755
--- a/docker/install/ubuntu_install_python_package.sh
+++ b/docker/install/ubuntu_install_python_package.sh
@@ -32,7 +32,6 @@ uv pip install --upgrade \
Pillow==12.1.1 \
"psutil~=7.0" \
"pytest~=8.3" \
-
git+https://github.com/tlc-pack/tlcpack-sphinx-addon.git@768ec1dce349fe4708f6ad68be1ebb3f3dabafa1
\
"pytest-profiling~=1.8" \
"pytest-xdist~=3.6" \
pytest-rerunfailures==16.1 \
@@ -42,4 +41,5 @@ uv pip install --upgrade \
junitparser==4.0.2 \
"six~=1.17" \
"tornado~=6.4" \
- "ml_dtypes~=0.5"
+ "ml_dtypes~=0.5" \
+ z3-static==4.16.0.post1
diff --git a/docker/install/ubuntu_install_sphinx.sh
b/docker/install/ubuntu_install_sphinx.sh
index e40aff3e37..e0a4643841 100755
--- a/docker/install/ubuntu_install_sphinx.sh
+++ b/docker/install/ubuntu_install_sphinx.sh
@@ -29,5 +29,5 @@ uv pip install \
sphinx==8.1.3 \
sphinx_autodoc_annotation~=1.0 \
sphinx-gallery==0.20.0 \
- sphinx_rtd_theme==3.1.0 \
-
git+https://github.com/tlc-pack/tlcpack-sphinx-addon.git@dded1a3fbaf549485d8f7bb3f79ecb0484a11629
+ sphinx-book-theme==1.1.4 \
+ pydata-sphinx-theme==0.15.4
