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-superdb
Jan 30, 2025
Merged

Notify superdb-website repo instead of zed-doc-site when docs change#5491
philrz merged 2 commits intomainfrom
ci-docs-update-for-superdb

Commits

Commits on Nov 19, 2024

Commits on Jan 30, 2025