Add CI workflow to compute diff between files dist files

Author: Kocal

.github/workflows/dist-files-size-diff.yaml

@@ -0,0 +1,84 @@
+name: Dist Files Size Diff
+
+on:
+  pull_request:
+    paths:
+      - 'src/*/**'
+      - '!src/*/doc/**'
+      - '.github/**'
+
+jobs:
+    dist-files-size-diff:
+        runs-on: ubuntu-latest
+    
+        steps:
+          - uses: marocchino/sticky-pull-request-comment@v2
+            with:
+              message: |
+                ⏳ The dist files size difference is being calculated...
+                
+          - uses: actions/checkout@v4
+            
+          - uses: actions/setup-node@v4
+            with:
+              node-version: '22'
+              
+          - name: Configure git
+            run: |
+              git config --global user.email ""
+              git config --global user.name "github-action[bot]"
+
+          - name: Get dist files size (from pull request)
+            id: pr-dist-files
+            run: |
+              set -e
+
+              FILES=$(find src -mindepth 2 -path '*/assets/dist/*' \( -name "*.js" -o -name "*.css" \) -not \( -path '*/tests/*' -o -path '*/public/*' \) | sort | while read -r file; do
+                  echo "{\"$file\": {\"size\": $(wc -c < "$file"), \"size_gz\": $(gzip -c "$file" | wc -c), \"size_brotli\": $(brotli -c "$file" | wc -c)}}"
+              done | jq -s 'add' -c)
+
+              echo "files=$FILES" >> $GITHUB_OUTPUT
+
+          - name: Get dist files size (from base branch)
+            id: base-dist-files
+            run: |
+              set -e
+
+              git fetch origin ${{ github.base_ref }}:${{ github.base_ref }}
+
+              FILES=$(find src -mindepth 2 -path '*/assets/dist/*' \( -name "*.js" -o -name "*.css" \) -not \( -path '*/tests/*' -o -path '*/public/*' \) | sort | while read -r file; do
+                  echo "{\"$file\": {\"size\": $(wc -c < "$file"), \"size_gz\": $(gzip -c "$file" | wc -c), \"size_brotli\": $(brotli -c "$file" | wc -c)}}"
+              done | jq -s 'add' -c)
+
+              echo "files=$FILES" >> $GITHUB_OUTPUT
+
+          - name: Generate the diff
+            id: diff
+            uses: actions/github-script@v7
+            env:
+                PR_DIST_FILES: ${{ steps.pr-dist-files.outputs.files }}
+                BASE_DIST_FILES: ${{ steps.base-dist-files.outputs.files }}
+            with:
+              result-encoding: string
+              script: |
+                console.log('context', context);
+                console.log('pr', process.env.PR_DIST_FILES);
+                console.log('base', process.env.BASE_DIST_FILES);
+                
+                return '<table><tr><th>a</td><th>b</td></tr><tr><td>a</td><td>b</td></tr><tr><td>a</td><td>b</td></tr><tr><td>a</td><td>b</td></tr></table>';
+                
+          - name: Comment on the pull request (if any failure)
+            if: ${{ failure() }}
+            uses: marocchino/sticky-pull-request-comment@v2
+            with:
+              message: |
+                ❌ The dist files size difference could not be calculated. Please check the logs for more details.
+                
+          - name: Comment on the pull request (if success)
+            if: ${{ always() && steps.diff.conclusion == 'success' }}
+            uses: marocchino/sticky-pull-request-comment@v2
+            with:
+              message: |
+                ```
+                ${{ steps.diff.outputs.result }}
+                ```