diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 26b60ffec2..a0062500c5 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -19,14 +19,15 @@ jobs: docs: name: build docs runs-on: ubuntu-latest - timeout-minutes: 1 steps: - uses: actions/checkout@v4 + timeout-minutes: 1 with: submodules: true # Build - name: Build docs + timeout-minutes: 1 run: | # TODO: can we install just the "docs" dependency group without the normal deps? pip install mkdocs @@ -34,12 +35,14 @@ jobs: # Push to docs.comma.ai - uses: actions/checkout@v4 + timeout-minutes: 1 if: github.ref == 'refs/heads/master' && github.repository == 'commaai/openpilot' with: path: openpilot-docs ssh-key: ${{ secrets.OPENPILOT_DOCS_KEY }} repository: commaai/openpilot-docs - name: Push + timeout-minutes: 1 if: github.ref == 'refs/heads/master' && github.repository == 'commaai/openpilot' run: | set -x