Skip to content

Conversation

@Blargian
Copy link
Member

@Blargian Blargian commented Mar 3, 2025

Summary

We merged the PR which enables checking for issues with explicit anchor tags only after merging PRs which fail this check, so they got through without being picked up.
Fixes docs check.

Checklist

@Blargian Blargian changed the title Add explicit heading for "improvement" Fixes to docs check failing on explicit anchors Mar 3, 2025
@gingerwizard gingerwizard merged commit f4fe86b into main Mar 3, 2025
8 checks passed
@Blargian Blargian deleted the Blargian-patch-16 branch March 13, 2025 18:07
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