diff --git a/.github/workflows/schema.yaml b/.github/workflows/schema.yaml index 41f3cd01b..1e13c1fef 100644 --- a/.github/workflows/schema.yaml +++ b/.github/workflows/schema.yaml @@ -51,4 +51,4 @@ jobs: > docs/usage/configuration/config_documentation.md - name: Error in case of any differences # Errors if there are now any modified files (untracked files are ignored). - run: 'git diff || ! git status --porcelain=1 | grep "^ M"' + run: 'git diff --exit-code' diff --git a/changelog.d/18528.doc b/changelog.d/18528.doc new file mode 100644 index 000000000..83c03190d --- /dev/null +++ b/changelog.d/18528.doc @@ -0,0 +1 @@ +Generate config documentation from JSON Schema file.