🔧 Split MkDocs insiders build in CI to support building from PRs (#186)

This commit is contained in:
Sebastián Ramírez 2021-12-13 11:47:07 +01:00 committed by GitHub
parent dbcaa50c69
commit 14a9788eb1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 8 additions and 3 deletions

View File

@ -56,7 +56,11 @@ jobs:
key: mkdocs-cards-${{ github.ref }} key: mkdocs-cards-${{ github.ref }}
path: .cache path: .cache
- name: Build Docs - name: Build Docs
if: github.event.pull_request.head.repo.fork == true
run: python -m poetry run mkdocs build run: python -m poetry run mkdocs build
- name: Build Docs with Insiders
if: github.event.pull_request.head.repo.fork == false
run: python -m poetry run mkdocs build --config-file mkdocs.insiders.yml
- name: Zip docs - name: Zip docs
run: python -m poetry run bash ./scripts/zip-docs.sh run: python -m poetry run bash ./scripts/zip-docs.sh
- uses: actions/upload-artifact@v2 - uses: actions/upload-artifact@v2

4
mkdocs.insiders.yml Normal file
View File

@ -0,0 +1,4 @@
INHERIT: mkdocs.yml
plugins:
- search
- social

View File

@ -30,9 +30,6 @@ edit_uri: ''
google_analytics: google_analytics:
- UA-205713594-2 - UA-205713594-2
- auto - auto
plugins:
- search
- social
nav: nav:
- SQLModel: index.md - SQLModel: index.md
- features.md - features.md