docs: add composite action for pushing docs

Author: hishamhm

.github/workflows/composite-docs.yml

@@ -0,0 +1,38 @@
+name: composite-docs
+
+on:
+  workflow_call:
+    inputs:
+      ref:
+        required: true
+        type: string
+      target-directory:
+        required: true
+        type: string
+
+jobs:
+  Docs:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v6
+      ref: ${{ inputs.ref }}
+    - name: Setup mdBook
+      uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea
+      with:
+        mdbook-version: 'latest'
+    - name: Generate book
+      run: |
+        cd docs
+        mdbook build
+    - name: Push to docs repo
+      uses: hishamhm/github-action-push-to-another-repository@b3514b264edf63bd8ea41fb5cd4f5b93979bdf81
+      env:
+        API_TOKEN_GITHUB: ${{ secrets.DOCS_PUSH_GITHUB_TOKEN }}
+      with:
+        destination-github-username: 'teal-language'
+        destination-repository-name: 'teal-language.github.io'
+        user-email: [email protected]
+        target-branch: main
+        source-directory: 'docs/book'
+        target-directory: ${{ inputs.target-directory }}