diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 6ad273a14d..bef5f96ea4 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -60,4 +60,4 @@ jobs: git commit -m "build docs" # docs live in different repo to not bloat openpilot's full clone size - git push -f origin gh-pages + git push -f origin tmp:gh-pages diff --git a/docs/Makefile b/docs/Makefile index 1eaae656bb..09103e206e 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -47,7 +47,7 @@ clean: ../scripts \ ../selfdrive/modeld \ ../selfdrive/debug \ - $(shell find .. -type d -name "*test*") + $(shell find .. -type d -name "*test* -not -path "**.venv**" \") @echo "Building html files..." @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(DOCSBUILDDIR)" $(SPHINXOPTS) $(O)