Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add documentation generation to GitHub's build-and-test #2190

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

artwyman
Copy link
Member

Expected to fail on the current state of main. Fix incoming in #2189, but I want to confirm this test would catch the issue.

@artwyman artwyman requested a review from robknight December 21, 2024 02:17
@artwyman artwyman self-assigned this Dec 21, 2024
@artwyman artwyman added the test label Dec 21, 2024
@artwyman artwyman mentioned this pull request Dec 21, 2024
@artwyman
Copy link
Member Author

Test failed in the expected way. Going to rebase on top of #2189 to ensure it passes.

@artwyman artwyman changed the base branch from main to artwyman/fix-docs December 21, 2024 07:32
@artwyman
Copy link
Member Author

I'm confused by the repeat failure. Seems like it's showing the same issue fixed in the parent PR, which I don't see when I test locally. Going to try tweaking a few things.

@artwyman
Copy link
Member Author

Ah, I now suspect some interaction of force-push with the attempt by GitHub to block me pushing workflow changes with a client not authorized for them. Let's see what I can do with the GitHub client.

@artwyman artwyman marked this pull request as ready for review December 21, 2024 08:27
github-merge-queue bot pushed a commit that referenced this pull request 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.
Base automatically changed from artwyman/fix-docs to main December 21, 2024 23:03
@artwyman
Copy link
Member Author

Rebased after the parent PR merged. This is ready to review and merge @robknight

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.

1 participant