Skip to content

Fix may not to appropriate might not or must not #87445

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Jul 30, 2021

Conversation

amalik18
Copy link

I went through and changed occurrences of may not to be more explicit with might not and must not.

@rust-highfive
Copy link
Contributor

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @kennytm (or someone else) soon.

Please see the contribution instructions for more information.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 25, 2021
@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@bors
Copy link
Collaborator

bors commented Jul 29, 2021

☔ The latest upstream changes (presumably #85874) made this pull request unmergeable. Please resolve the merge conflicts.

@rust-log-analyzer

This comment has been minimized.

@kennytm
Copy link
Member

kennytm commented Jul 29, 2021

@bors r+

@bors
Copy link
Collaborator

bors commented Jul 29, 2021

📌 Commit ffcf8a0 has been approved by kennytm

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 29, 2021
@bors
Copy link
Collaborator

bors commented Jul 29, 2021

⌛ Testing commit ffcf8a0 with merge 260af5fb771243a2d36a04c177dc7307f16253c2...

@bors
Copy link
Collaborator

bors commented Jul 29, 2021

💔 Test failed - checks-actions

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Jul 29, 2021
@rust-log-analyzer
Copy link
Collaborator

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

@amalik18
Copy link
Author

@kennytm How do I view why it failed? I'm not able to pull up the build logs.

@kennytm
Copy link
Member

kennytm commented Jul 30, 2021

@bors retry

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 30, 2021
@bors
Copy link
Collaborator

bors commented Jul 30, 2021

⌛ Testing commit ffcf8a0 with merge fe1c942...

@bors
Copy link
Collaborator

bors commented Jul 30, 2021

☀️ Test successful - checks-actions
Approved by: kennytm
Pushing fe1c942 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jul 30, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants