diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml new file mode 100644 index 0000000..838ad78 --- /dev/null +++ b/.github/workflows/publish-docs.yml @@ -0,0 +1,35 @@ +name: Publish Docs + +on: + push: + branches: + - main + +jobs: + publish: + + runs-on: ubuntu-latest + + steps: + - name: Checkout + uses: actions/checkout@v2 + + - name: Install JDK 11 + uses: actions/setup-java@v1 + with: + java-version: 11 + + - name: Install Python + uses: actions/setup-python@v2 + with: + python-version: 3.x + + - name: Install MkDocs Material + run: pip install mkdocs-material + + - name: Deploy MkDocs + run: | + git fetch origin gh-pages:gh-pages + mkdocs gh-deploy --force + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}