The GitHub Actions job "Lint" on tvm.git/docs-sphinx-book-theme has failed. Run started by GitHub user tlopex (triggered by tlopex).
Head commit for run: 3dcf69b4c42e02e7d631fedb57a16c6435f3f085 / tlopex <[email protected]> [Docs] Switch documentation theme to sphinx-book-theme Migrate the documentation site from sphinx_rtd_theme to sphinx-book-theme (pydata-sphinx-theme based), matching the in-repo 3rdparty/tvm-ffi docs which already use this theme. The published theme was not plain sphinx_rtd_theme: it was tlcpack-sphinx-addon's full standalone layout.html, injected via templates_path, which overrides any html_theme. Switching the theme therefore also removes the addon's template/static injection (otherwise the switch is a visual no-op). docs/conf.py: - html_theme = "sphinx_book_theme"; drop the dead TVM_THEME/READTHEDOCS indirection that always resolved to sphinx_rtd_theme. - Replace the RTD-only html_theme_options ({"logo_only": True}) with book-theme options: repository_url/branch + path_to_docs driving the repository/edit/ source/issue buttons, GitHub + TVM-home icon_links, and an extra_footer with the Community/Download/Docs links, ASF dropdown, and Apache trademark notice (the copyright line is rendered natively by the theme, not duplicated). - Remove the tlcpack_sphinx_addon import and its templates_path/html_static_path injection, plus the now-unused html_context header/footer machinery and fixup_tutorials. - sphinx_gallery_conf["show_signature"] = False to drop the "Gallery generated by Sphinx-Gallery" line. - Remove the dead docs/_static/css/tvm_theme.css (RTD-only selectors, never linked). tests/scripts/ci.py and docs/README.md: point the local docs requirements / native-build instructions at sphinx-book-theme. The ci-gpu Docker image dependency change (add sphinx-book-theme, drop sphinx_rtd_theme + tlcpack-sphinx-addon) is handled in a companion PR so the CI image is rebuilt with the new theme before this switch lands. Report URL: https://github.com/apache/tvm/actions/runs/27788515013 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
