ci: Consolidate build and deploy workflows

This commit combines the separate `build.yml` and `deploy.yml` GitHub Action workflows into a single, sequential workflow in `deploy.yml`.

The new workflow ensures a predictable order of operations:
1. Build the plugin and its `dist` artifacts.
2. Build the Docusaurus example site.
3. Deploy the site to GitHub Pages.
4. Commit the potentially updated `dist` directory back to the repository.

This resolves a workflow loop issue where a push from one action would not trigger the other, ensuring the deployment always uses the latest build of the plugin. The redundant `build.yml` has been deleted.

Author: Uli-Z

.github/workflows/build.yml

@@ -1,4 +1,4 @@
-name: Deploy Docusaurus to GitHub Pages
+name: Build Plugin and Deploy Example Site
 
 on:
   push:
@@ -9,8 +9,8 @@ permissions:
   contents: write
 
 jobs:
-  deploy:
-    name: Deploy to GitHub Pages
+  build_and_deploy:
+    name: Build Plugin and Deploy Example
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
@@ -23,13 +23,16 @@ jobs:
           cache: 'npm'
 
       - name: Install root dependencies
-        run: npm install
+        run: npm ci
+
+      - name: Build plugin
+        run: npm run build
 
       - name: Install example dependencies
         run: npm install
         working-directory: ./example
 
-      - name: Build Docusaurus site
+      - name: Build Docusaurus example site
         run: npm run build
         working-directory: ./example
 
@@ -38,7 +41,15 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./example/build
-          # The following lines are needed if you are deploying to a repository that is not the same as the one where the workflow is running.
-          # For example, if you are deploying to a user page repository from an organization repository.
-          # user_name: 'github-actions[bot]'
-          # user_email: 'github-actions[bot]@users.noreply.github.com'
+
+      - name: Commit and push dist changes
+        run: |
+          git config --global user.name 'github-actions[bot]'
+          git config --global user.email 'github-actions[bot]@users.noreply.github.com'
+          git add dist
+          if ! git diff --staged --quiet; then
+            git commit -m "chore(build): Rebuild plugin [skip ci]"
+            git push
+          else
+            echo "No changes in dist to commit."
+          fi