Docs updates on 2022-03-17

github.com

• disable trigger website building from docs master by YiniXu9506 · Pull Request #7878 · pingcap/docs · GitHub CIの設定を変更しています。