Skip to content

Conversation

shainaraskas
Copy link
Collaborator

To reduce the number of hints that are triggered in the docs build every time, I'm removing unused substitutions. If a removed substitution needs to be used later, it can be added. A warning will trigger if the substitution is undefined.

@shainaraskas shainaraskas requested a review from a team as a code owner September 5, 2025 14:42
Copy link
Contributor

@florent-leborgne florent-leborgne left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice cleanup

@shainaraskas shainaraskas merged commit 84bcc9f into main Sep 5, 2025
7 checks passed
@shainaraskas shainaraskas deleted the remove-unused-subs branch September 5, 2025 14:49
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.

3 participants