diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..3a970d7 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,30 @@ +name: Deploy Docs + +on: + push: + branches: + - master + +jobs: + build-deploy: + permissions: + contents: write + pages: write + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + submodules: true + - name: Build + run: | + sudo apt install -y \ + doxygen \ + python3-pip \ + python3-setuptools + python3 -m pip install mkdocs mkdocs-github-admonitions-plugin mkdocs-get-deps + - name: Deploy + run: | + git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git + gh-pages -d dist -e . -u \"github-actions-bot \" + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}