Skip to content

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

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

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

Triggered via pull request October 22, 2023 09:39
Status Success
Total duration 1m 26s
Artifacts

docs.yml

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