From 6ab40df42993b4323494ee70c908f97a8a2e28e4 Mon Sep 17 00:00:00 2001 From: Stefan Haller Date: Sun, 2 Nov 2025 12:14:01 +0100 Subject: [PATCH] Add a check to the release workflow to abort if docs or schema are not up to date Of course it would be cooler if the workflow could create the PR and merge it if necessary, but this will have to do for now. --- .github/workflows/release.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 4eb2a5a20..65f46ef58 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -70,6 +70,15 @@ jobs: exit 1 fi + - name: Check that docs and schema are up to date + run: | + if diff -r -q docs docs-master > /dev/null && diff -r -q schema schema-master > /dev/null; then + echo "Docs and schema are up to date." + else + echo "Docs or schema are out of date. Please run 'scripts/update_docs_for_release.sh' and make a PR." + exit 1 + fi + - name: Check for Blocking Issues/PRs if: ${{ !inputs.ignore_blocks }} id: check_blocks