Skip to content

[Docker] Switch docs image theme deps to sphinx-book-theme#19835

Open
tlopex wants to merge 1 commit into
apache:mainfrom
tlopex:docker-deps-book-theme
Open

[Docker] Switch docs image theme deps to sphinx-book-theme#19835
tlopex wants to merge 1 commit into
apache:mainfrom
tlopex:docker-deps-book-theme

[Docker] Bump CI image deps: sphinx-book-theme + z3-static

3fba8aa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cc-reviewers
succeeded Jun 19, 2026 in 38s