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 build_docs.sh once mdbook properly exits with error code #2781

Open
franciszekjob opened this issue Dec 14, 2024 · 0 comments
Open

Remove build_docs.sh once mdbook properly exits with error code #2781

franciszekjob opened this issue Dec 14, 2024 · 0 comments
Labels
blocked github_actions Pull requests that update GitHub Actions code

Comments

@franciszekjob
Copy link
Collaborator

Which components does the task require to be changed? (think hard pls)

other (describe below)

Description

Once rust-lang/mdBook#2277 is merged, we should remove build_docs.sh script and simply run mdbook build.

@github-actions github-actions bot added the new label Dec 14, 2024
@franciszekjob franciszekjob added github_actions Pull requests that update GitHub Actions code blocked and removed new labels Dec 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
blocked github_actions Pull requests that update GitHub Actions code
Projects
Status: New
Development

No branches or pull requests

1 participant