|
|
@@ -2,17 +2,18 @@ name: Publish docs via GitHub Pages
|
|
|
on:
|
|
|
push:
|
|
|
branches:
|
|
|
- - main
|
|
|
- - dev
|
|
|
+ - "master"
|
|
|
+ - "dev"
|
|
|
|
|
|
jobs:
|
|
|
build:
|
|
|
name: Deploy docs
|
|
|
runs-on: ubuntu-latest
|
|
|
steps:
|
|
|
- - name: Checkout dev
|
|
|
- uses: actions/checkout@v2
|
|
|
-
|
|
|
+ - name: Checkout master
|
|
|
+ uses: actions/checkout@v4
|
|
|
+ with:
|
|
|
+ ref: master
|
|
|
- name: Deploy docs
|
|
|
uses: mhausenblas/mkdocs-deploy-gh-pages@master
|
|
|
# Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
|