Skip to content

Conversation

@artwyman
Copy link
Member

@artwyman artwyman commented Dec 21, 2024

The config file changes related to include paths are what fixed the actual error. See #2190 for a proposed workflow change to detect this kind of breakage on PRs.

I also addressed many (but not all) of the doc-generation warnings and broken links.

@artwyman artwyman added this pull request to the merge queue Dec 21, 2024
Merged via the queue into main with commit f607c44 Dec 21, 2024
1 check passed
@artwyman artwyman deleted the artwyman/fix-docs branch December 21, 2024 23:03
github-merge-queue bot pushed a commit that referenced this pull request May 26, 2025
Expected to fail on the current state of main. Fix incoming in #2189,
but I want to confirm this test would catch the issue.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants