|
|
|
@ -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 |
|
|
|
|