Skip to content

Regenerate the building page from BUILDING.md - #287

Merged
thefourcraft merged 1 commit into
Productionfrom
chore/regenerate-building-page
Jul 30, 2026
Merged

Regenerate the building page from BUILDING.md#287
thefourcraft merged 1 commit into
Productionfrom
chore/regenerate-building-page

Conversation

@thefourcraft

Copy link
Copy Markdown
Member

The release workflow's new drift check caught this on its first run: BUILDING.md gained the post-release changelog instructions, but docs/building.html is generated from it and was never rebuilt, so the published page did not show them.

Exactly the failure mode the check exists for — the old workflow would have stayed silent.

The release workflow's new drift check caught this on its first run: BUILDING.md
gained the post-release changelog instructions, but docs/building.html is
generated from it and was never rebuilt, so the published page did not show them.

Exactly the failure mode the check exists for.
@thefourcraft
thefourcraft enabled auto-merge (squash) July 30, 2026 07:56
@thefourcraft
thefourcraft merged commit 2eb1941 into Production Jul 30, 2026
4 checks passed
@thefourcraft
thefourcraft deleted the chore/regenerate-building-page branch July 31, 2026 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant