CI: Turn on diff outputs on failed doc gen
What the developer wrote
Authored by Dusty Daemon
CI: Turn on diff outputs on failed doc gen
When the doc generator fails, make the CI output the diff of how it failed.
What changed, and why it matters
This is a tiny change to the project's build/CI Makefile. It adds the `--text` flag to a `git diff` command that runs during automated checks. This only affects how test failures are displayed when generated documentation files don't match expectations. There is no security relevance.
No security action needed. This is a routine CI quality-of-life improvement.
Security signals we found
No strong security signals were identified.
Evidence from the diff
The commit modifies check-gen-updated in the Makefile. The target verifies that running the documentation generator does not change tracked files. The change adds --text to git diff --exit-code HEAD, forcing Git to treat generated files as text and produce a human-readable diff in CI logs when the check fails. It is a diagnostic/logging improvement with no functional, network, or cryptographic impact.
Changed components
Makefile (CI/check-gen-updated target)Inspect captured patch +1 / −1
diff --git a/Makefile b/Makefile
index fb9bd911..0e8fcfdf 100644
--- a/Makefile
+++ b/Makefile
@@ -674,7 +674,7 @@ gen: $(CHECK_GEN_ALL)
check-gen-updated: $(CHECK_GEN_ALL)
@echo "Checking for generated files being changed by make"
- git diff --exit-code HEAD
+ git diff --text --exit-code HEAD
coverage/coverage.info: check pytest
mkdir coverage || true
Why this scored 15/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.