Skip to content

Crater run for lazy TAIT #93833

Closed
Closed
@jackh726

Description

@jackh726
Member
No description provided.

Activity

jackh726

jackh726 commented on Feb 9, 2022

@jackh726
MemberAuthor

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

craterbot

craterbot commented on Feb 9, 2022

@craterbot
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 commented on Feb 11, 2022

@craterbot
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

oli-obk commented on Feb 11, 2022

@oli-obk
Contributor

@craterbot cancel

craterbot

craterbot commented on Feb 11, 2022

@craterbot
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

oli-obk commented on Feb 11, 2022

@oli-obk
Contributor

@craterbot abort name=lazy-tait-check

craterbot

craterbot commented on Feb 11, 2022

@craterbot
Collaborator

🗑️ Experiment lazy-tait-check deleted!

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

added
S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.
and removed
S-waiting-on-craterStatus: Waiting on a crater run to be completed.
on Feb 11, 2022
oli-obk

oli-obk commented on Feb 11, 2022

@oli-obk
Contributor

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @oli-obk@jackh726@craterbot

        Issue actions

          Crater run for lazy TAIT · Issue #93833 · rust-lang/rust