diff --git a/.github/workflows/check-schema.yaml b/.github/workflows/check-schema.yaml index 45148ad04..f47d1e330 100644 --- a/.github/workflows/check-schema.yaml +++ b/.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 @@ -28,9 +31,19 @@ jobs: - name: Check for changes in JSON Schema run: | - if ! git diff --quiet docs/optimizer_config.schema.json; then + if ! git diff 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." + exit 0 fi + + - name: Commit and push changes + env: + GITHUB_TOKEN: ${{ github.token }} + run: | + 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 \ No newline at end of file