Use a bot token to generate "Update dist" commit

This will permit workflows to run when this commit is applied.

- Avoid running ci-update-dist for modifications to dist directory (no recursion)
- Run full-suite only in response to bot updates.

.github/workflows/ci-integ-test.yml

@@ -31,8 +31,8 @@ jobs:
           exit 0
         fi
 
-        # Run full suite for push trigger on 'main' and 'release/*' branches
-        if [[ "${{ github.ref_name }}" == "main" || "${{ github.ref_name }}" == "release/"* ]]; then
+        # Run full suite for push trigger with "[bot] Update dist directory" commit message
+        if [ "${{ github.event.head_commit.message }}" == "[bot] Update dist directory" ]; then
           echo "Push to main branch: suite=full"
           echo "suite=full" >> "$GITHUB_OUTPUT"
           exit 0