diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..15b36b5 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,37 @@ +name: Build and Deploy Docs Site + +on: + workflow_dispatch: + inputs: + version: + description: Document version e.g. 1.1, 1.2 + required: true + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + with: + fetch-depth: 0 + submodules: recursive + + - uses: actions/cache@v2 + with: + key: ${{ github.ref }} + path: .cache + + - name: Install dependencies + run: pip install mkdocs mkdocs-material mkdocs-awesome-pages-plugin mike + + - name: Configure Git user + run: | + git config --local user.email "github-actions[bot]@users.noreply.github.com" + git config --local user.name "github-actions[bot]" + + - name: Publish site + run: | + mike deploy --push --update-aliases ${{ inputs.version }} latest + env: + GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }} \ No newline at end of file