ci: build docs on pr, combine workflows

.github/workflows/docs-release.yml → .github/workflows/docs.yml

@@ -1,8 +1,10 @@
-name: Publish release docs
+name: Build and publish docs
 on:
+  pull_request:
+  push:
+    branches: [develop]
   release:
     types: [released]
-
 jobs:
   main:
     runs-on: ubuntu-latest
@@ -12,7 +14,10 @@ jobs:
           fetch-depth: 0
       - uses: actions/setup-python@v5
         with:
-          python-version: 3.12
+          python-version: 3.x
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 20.x
       - uses: actions/cache@v4
         with:
           path: ~/.cache/pip3
@@ -24,7 +29,13 @@ jobs:
             ~/.autorest
           key: ${{ runner.os }}-npm-${{ hashFiles('**/package-lock.json') }}
       - run: pip3 install -r docs/requirements.txt
-      - run: echo "RELEASE_VERSION=${GITHUB_REF:10}" >> $GITHUB_ENV
       - run: git config --global user.email "[email protected]"
       - run: git config --global user.name "GitHub Action"
-      - run: mike deploy --push --update-aliases $RELEASE_VERSION latest
+      - if: github.event_name == 'pull_request'
+        run: mkdocs build
+      - if: github.event_name == 'push'
+        run: mike deploy --push develop
+      - if: github.event_name == 'release'
+        run: |
+          echo "RELEASE_VERSION=${GITHUB_REF:10}" >> $GITHUB_ENV
+          mike deploy --push --update-aliases $RELEASE_VERSION latest