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.

Sign up for GitHub

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

Jump to bottom

'just install-tools' should ensure that the nightly toolchain is installed #66

Merged
merged 1 commit into from
Apr 28, 2023
Merged

'just install-tools' should ensure that the nightly toolchain is installed #66

merged 1 commit into from
Apr 28, 2023

Conversation

shinypb
Copy link
Contributor

@shinypb shinypb commented Apr 28, 2023

@shinypb shinypb marked this pull request as ready for review April 28, 2023 22:47
@ceejbot
Copy link
Contributor

ceejbot commented Apr 28, 2023

MERGING IT

@ceejbot ceejbot merged commit 53904b8 into main Apr 28, 2023
@ceejbot ceejbot deleted the nightly branch April 28, 2023 23:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@shinypb @ceejbot