Skip to content

Conversation

rra
Copy link
Member

@rra rra commented Jul 23, 2025

The 14.0.0 release did not correctly build and upload documentation because the release push itself didn't modify any documentation files. Add CHANGELOG.md to the list of documentation files to catch this case, and also ensure documentation is published on workflow dispatch events.

The 14.0.0 release did not correctly build and upload documentation
because the release push itself didn't modify any documentation files.
Add `CHANGELOG.md` to the list of documentation files to catch this
case, and also ensure documentation is published on workflow dispatch
events.
@rra rra enabled auto-merge July 23, 2025 19:23
@rra rra merged commit 6d56b67 into main Jul 23, 2025
6 checks passed
@rra rra deleted the tickets/DM-51521 branch July 23, 2025 19:26
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