Skip to content

ci: add robots.txt and sitemap to Netlify docs build#6125

Open
chatman-media wants to merge 3 commits into
PyO3:mainfrom
chatman-media:codex/pyo3-docs-indexing
Open

ci: add robots.txt and sitemap to Netlify docs build#6125
chatman-media wants to merge 3 commits into
PyO3:mainfrom
chatman-media:codex/pyo3-docs-indexing

Merge remote-tracking branch 'upstream/main' into codex/pyo3-docs-ind…

7252413
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
coverage-pr-base
succeeded Jun 13, 2026 in 9s