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

ci: use stable toolchain to build docs #813

Closed
wants to merge 1 commit into from

Conversation

7596ff
Copy link
Contributor

@7596ff 7596ff commented May 14, 2021

Use the stable toolchain to build and deploy docs, due to
rust-lang/rust#85301.

@7596ff 7596ff added the t-ci Anything to do with CI. label May 14, 2021
@7596ff
Copy link
Contributor Author

7596ff commented May 14, 2021

Looks like we also depend on rust-lang/rust#43781, so I'm sure we'll just wait for the bug to be fixed.

@7596ff 7596ff closed this May 14, 2021
@7596ff 7596ff deleted the docs-stable-toolchain branch May 14, 2021 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
t-ci Anything to do with CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant