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

Crater run for lazy TAIT #93833

Closed
jackh726 opened this issue Feb 9, 2022 · 8 comments
Closed

Crater run for lazy TAIT #93833

jackh726 opened this issue Feb 9, 2022 · 8 comments
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Comments

@jackh726
Copy link
Member

jackh726 commented Feb 9, 2022

No description provided.

@jackh726
Copy link
Member Author

jackh726 commented Feb 9, 2022

@craterbot check name=lazy-tait-check start=734368a200904ef9c21db86c595dc04263c87be0 end=cc38176793e9e13bb7b70dde4b951d9371017662 p=1

@craterbot
Copy link
Collaborator

👌 Experiment lazy-tait-check created and queued.
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

@craterbot craterbot added the S-waiting-on-crater Status: Waiting on a crater run to be completed. label Feb 9, 2022
@craterbot
Copy link
Collaborator

🚧 Experiment lazy-tait-check is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

@oli-obk
Copy link
Contributor

oli-obk commented Feb 11, 2022

@craterbot cancel

@craterbot
Copy link
Collaborator

🚨 Error: failed to parse the command

🆘 If you have any trouble with Crater please ping @rust-lang/infra!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

@oli-obk
Copy link
Contributor

oli-obk commented Feb 11, 2022

@craterbot abort name=lazy-tait-check

@craterbot
Copy link
Collaborator

🗑️ Experiment lazy-tait-check deleted!

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

@craterbot craterbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-crater Status: Waiting on a crater run to be completed. labels Feb 11, 2022
@oli-obk
Copy link
Contributor

oli-obk commented Feb 11, 2022

Will do a crater run once I open a new PR. Reverting the breakage in #93893 right now

@oli-obk oli-obk closed this as completed Feb 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@oli-obk @jackh726 @craterbot