remove old docs (#32917)

2026-08-22 16:53:49 +08:00 · 2024-07-06 08:51:36 -07:00
parent 155546a668
commit 4ef757c49f
11 changed files with 1 additions and 450 deletions
@@ -27,6 +27,7 @@ jobs:
    name: build docs
    runs-on: ubuntu-latest
    timeout-minutes: 45
+    if: false  # TODO: replace this with the new docs
    steps:
    - uses: actions/checkout@v4
      with: