Skip to content

[Docs][CI] Switch docs theme and bump images to 20260619-214849-4174cdf5#19828

Merged
tqchen merged 3 commits into
apache:mainfrom
tlopex:docs-sphinx-book-theme
Jun 23, 2026
Merged

[Docs][CI] Switch docs theme and bump images to 20260619-214849-4174cdf5#19828
tqchen merged 3 commits into
apache:mainfrom
tlopex:docs-sphinx-book-theme

[CI] Disable Z3 by default

edc23dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cc-reviewers
succeeded Jun 22, 2026 in 22s