pull dev

Author: voorhs

.github/workflows/check-schema.yaml

@@ -29,8 +29,16 @@ jobs:
       run: |
         python -m scripts.generate_json_schema_config
 
+    - name: Check for changes in JSON Schema
+      run: |
+        if ! git diff docs/optimizer_config.schema.json; then
+          echo "Error: docs/optimizer_config.schema.json has been modified after running the generator script."
+        else
+          echo "No changes detected in docs/optimizer_config.schema.json."
+          exit 0
+        fi
+
     - name: Commit and push changes
-      if: env.changed == 'true'
       env:
         GITHUB_TOKEN: ${{ github.token }}
       run: |