Skip to content

Add --locked #3889

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

Jump to bottom
Merged
merged 1 commit into from
Oct 26, 2019
Merged

Add --locked #3889

merged 1 commit into from
Oct 26, 2019

Conversation

topecongiro
Copy link
Contributor

Closes #3885.

@topecongiro topecongiro mentioned this pull request Oct 25, 2019
Closed
@calebcartwright
Copy link
Member

All passing now in Travis 💚 !

@topecongiro topecongiro merged commit 4967523 into rust-lang:master Oct 26, 2019
@topecongiro topecongiro deleted the fix-script branch October 26, 2019 01:18
@ytmimi ytmimi mentioned this pull request Jun 13, 2022
Merged
@ytmimi ytmimi added 1x-backport:pending Fixed/resolved in source but not yet backported to a 1x branch and release 1x-backport:completed and removed backport-triage 1x-backport:pending Fixed/resolved in source but not yet backported to a 1x branch and release labels Jun 13, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
1x-backport:completed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Fix CI failures
4 participants
@topecongiro @calebcartwright @karyon @ytmimi