Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 17 additions & 4 deletions .github/workflows/check-schema.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,9 @@ name: Check JSON Schema

on:
pull_request:
branches:
- dev

permissions:
contents: write

jobs:
generate-schema:
Expand All @@ -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
Expand All @@ -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