Skip to content

Notify superdb-website repo instead of zed-doc-site when docs change#5491

Merged
philrz merged 2 commits intomainfrom ci-docs-update-for-superdbJan 30, 2025

Commits

Commits on Nov 19, 2024

Commits on Jan 30, 2025