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

Remove text builds of documentation #1575

Merged
merged 3 commits into from
Jun 7, 2024

Conversation

vyasr
Copy link
Contributor

@vyasr vyasr commented Jun 6, 2024

This PR removes text builds of the documentation, which we do not currently use for anything. Contributes to rapidsai/build-planning#71.

@vyasr vyasr added non-breaking Non-breaking change improvement Improvement / enhancement to an existing function labels Jun 6, 2024
@github-actions github-actions bot added the ci label Jun 6, 2024
@vyasr vyasr force-pushed the doc/remove_text_build branch from 9edb539 to 126880d Compare June 6, 2024 17:50
@vyasr vyasr force-pushed the doc/remove_text_build branch from 126880d to 0d200d7 Compare June 6, 2024 18:20
@vyasr vyasr marked this pull request as ready for review June 6, 2024 18:44
@vyasr vyasr requested a review from a team as a code owner June 6, 2024 18:44
@vyasr vyasr requested a review from AyodeAwe June 6, 2024 18:44
Copy link
Contributor

@bdice bdice left a comment

Choose a reason for hiding this comment

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

Approve with one small fix.

ci/build_docs.sh Outdated Show resolved Hide resolved
@bdice
Copy link
Contributor

bdice commented Jun 7, 2024

/merge

@rapids-bot rapids-bot bot merged commit 49fcfeb into rapidsai:branch-24.08 Jun 7, 2024
58 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci improvement Improvement / enhancement to an existing function non-breaking Non-breaking change
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants