Skip to content

bump Miri #76016

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
Aug 29, 2020
Merged

bump Miri #76016

merged 1 commit into from
Aug 29, 2020

Conversation

RalfJung
Copy link
Member

Fixes #75970
Cc @rust-lang/miri r? @ghost

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 28, 2020

📌 Commit 2037ba4 has been approved by RalfJung

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Aug 28, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 29, 2020
@Dylan-DPC
Rollup merge of rust-lang#76016 - RalfJung:miri, r=RalfJung
75f5474 
bump Miri

Fixes rust-lang#75970
Cc @rust-lang/miri r? @ghost
@Dylan-DPC-zz Dylan-DPC-zz mentioned this pull request Aug 29, 2020
Closed
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Aug 29, 2020
@Dylan-DPC
Rollup merge of rust-lang#76016 - RalfJung:miri, r=RalfJung
aad2a62 
bump Miri

Fixes rust-lang#75970
Cc @rust-lang/miri r? @ghost
@Dylan-DPC-zz Dylan-DPC-zz mentioned this pull request Aug 29, 2020
Closed
@RalfJung
Copy link
Member Author

@bors p=1

@bors
Copy link
Collaborator

bors commented Aug 29, 2020

⌛ Testing commit 2037ba4 with merge 9b7ef2829fb4863d1a47dd75ec4233e116749653...

@bors
Copy link
Collaborator

bors commented Aug 29, 2020

💔 Test failed - checks-azure

@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 Aug 29, 2020
@rust-log-analyzer
Copy link
Collaborator

The job aarch64-gnu of your PR failed (pretty log, raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log. 
##[section]Starting: Request a runner to run this job
Found online and idle self-hosted runner in current repository that matches the required labels: 'self-hosted , ARM64 , linux'
Current runner version: '2.273.0-rust1'
Runner name: 'arm-1-1'
Machine name: 'ubuntu'
##[group]Image details
##[group]Image details
rust-lang/gha-self-hosted commit: f5dc1708ec64ec55012690dddc63cf729b62a1a8
Image build time: 2020-08-29T00:03:50+00:00
Prepare workflow directory
Prepare all required actions
Download action repository 'actions/checkout@v1'
Download action repository 'rust-lang/simpleinfra@master'

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @rust-lang/infra. (Feature Requests)

@RalfJung
Copy link
Member Author

Updated lockfile after rebase.
@bors r+

@bors
Copy link
Collaborator

bors commented Aug 29, 2020

📌 Commit d150cd2 has been approved by RalfJung

@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 Aug 29, 2020
@bors
Copy link
Collaborator

bors commented Aug 29, 2020

⌛ Testing commit d150cd2 with merge 5c27700...

@bors
Copy link
Collaborator

bors commented Aug 29, 2020

☀️ Test successful - checks-actions, checks-azure
Approved by: RalfJung
Pushing 5c27700 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 29, 2020
@bors bors merged commit 5c27700 into rust-lang:master Aug 29, 2020
@rust-highfive
Copy link
Contributor

📣 Toolstate changed by #76016!

Tested on commit 5c27700.
Direct link to PR: #76016

🎉 miri on windows: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
🎉 miri on linux: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request Aug 29, 2020
@rust-highfive
📣 Toolstate changed by rust-lang/rust#76016!
48d0f94 
Tested on commit rust-lang/rust@5c27700.
Direct link to PR: <rust-lang/rust#76016>

🎉 miri on windows: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
🎉 miri on linux: test-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
@RalfJung RalfJung deleted the miri branch August 30, 2020 07:59
@cuviper cuviper added this to the 1.48.0 milestone Nov 17, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
1.48.0
Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#75966
5 participants
@RalfJung @bors @rust-log-analyzer @rust-highfive @cuviper