Skip to content

Rename "Crate" to "CrateDB", and adjust a few more texts #309

Rename "Crate" to "CrateDB", and adjust a few more texts

Rename "Crate" to "CrateDB", and adjust a few more texts #309

Triggered via pull request October 22, 2023 18:46
Status Success
Total duration 4m 13s
Artifacts

docs.yml

on: pull_request
Matrix: documentation
Fit to window
Zoom out
Zoom in