update schema on commit

Author: Samoed

.github/workflows/check-schema.yaml

@@ -2,8 +2,9 @@ name: Check JSON Schema
 
 on:
   pull_request:
-    branches:
-      - dev
+
+permissions:
+  contents: write
 
 jobs:
   generate-schema:
@@ -12,6 +13,8 @@ jobs:
     steps:
     - name: Checkout repository
       uses: actions/checkout@v4
+      with:
+        ref: ${{ github.head_ref }}
 
     - name: Set up Python
       uses: actions/setup-python@v5
@@ -26,11 +29,13 @@ jobs:
       run: |
         python -m scripts.generate_json_schema_config
 
-    - name: Check for changes in JSON Schema
+    - name: Commit and push changes
+      if: env.changed == 'true'
+      env:
+        GITHUB_TOKEN: ${{ github.token }}
       run: |
-        if ! git diff --quiet docs/optimizer_config.schema.json; then
-          echo "Error: docs/optimizer_config.schema.json has been modified after running the generator script."
-          exit 1
-        else
-          echo "No changes detected in docs/optimizer_config.schema.json."
-        fi
+        git config --global user.name "github-actions[bot]"
+        git config --global user.email "github-actions[bot]@users.noreply.github.com"
+        git add docs/optimizer_config.schema.json
+        git commit -m "Update optimizer_config.schema.json"
+        git push