tools: add op docs command (#38770)

2026-09-28 21:43:42 +08:00 · 2026-09-04 15:20:43 -07:00
parent e3def37695
commit 675ff56981
3 changed files with 11 additions and 8 deletions
@@ -26,16 +26,12 @@ jobs:
    runs-on: ubuntu-24.04
    steps:
    - uses: commaai/timeout@v1
-
    - uses: actions/checkout@v7
-      with:
-        submodules: true
+    - run: ./tools/op.sh setup

    # Build
    - name: Build docs
-      run: |
-        git lfs pull
-        python docs/serve.py --build
+      run: ./tools/op.sh docs --build

    # Push to docs.comma.ai
    - uses: actions/checkout@v7