Skip to content

Bump nightly -> 2023-07-13 #134

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
Closed
xFrednet opened this issue Jun 3, 2023 · 0 comments · Fixed by #172
Closed

Bump nightly -> 2023-07-13 #134

xFrednet opened this issue Jun 3, 2023 · 0 comments · Fixed by #172
Assignees
@xFrednet
Labels
D-rustc-driver Driver: Rustc Driver S-blocked Status: Blocked S-waiting-on-nightly Status: An issue that is waiting on the next rustc nightly bump

Comments

@xFrednet
Copy link
Member

xFrednet commented Jun 3, 2023 •
edited
Loading

This issue is meant to keep track of PRs which might affect the next bump.
@xFrednet xFrednet added D-rustc-driver Driver: Rustc Driver S-blocked Status: Blocked S-waiting-on-nightly Status: An issue that is waiting on the next rustc nightly bump labels Jun 3, 2023
@xFrednet xFrednet self-assigned this Jul 13, 2023
@xFrednet xFrednet mentioned this issue Jul 13, 2023
Merged
@bors bors bot closed this as completed in 91b1835 Jul 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@xFrednet xFrednet

Labels
D-rustc-driver Driver: Rustc Driver S-blocked Status: Blocked S-waiting-on-nightly Status: An issue that is waiting on the next rustc nightly bump
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Bump nightly -> 2023-07-13 xFrednet/marker
1 participant
@xFrednet