diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 56d02e5bf..3e4ef2faa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -80,6 +80,11 @@ jobs: # Allow failure for coveralls coveralls || true + - name: Run json schema extract + # This should be kept before the repository check to ensure that the schema is up-to-date + run: | + python build_helpers/extract_config_json_schema.py + - name: Check for repository changes run: | if [ -n "$(git status --porcelain)" ]; then