Skip to content

add regression test #1938

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
Dec 15, 2021
Merged

add regression test #1938

merged 2 commits into from
Dec 15, 2021

Conversation

RalfJung
Copy link
Member

Adds a regression test for rust-lang/rust#91636 (which was fixed by rust-lang/rust#91856)

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Dec 15, 2021

📌 Commit ef073bd has been approved by RalfJung

bors added a commit that referenced this pull request Dec 15, 2021
add regression test

Adds a regression test for rust-lang/rust#91636 (which was fixed by rust-lang/rust#91856)
@bors
Copy link
Contributor

bors commented Dec 15, 2021

⌛ Testing commit ef073bd with merge 7f0e652...

@bors
Copy link
Contributor

bors commented Dec 15, 2021

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Dec 15, 2021

📌 Commit e7c327c has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 15, 2021

⌛ Testing commit e7c327c with merge 51e9630...

bors added a commit that referenced this pull request Dec 15, 2021
add regression test

Adds a regression test for rust-lang/rust#91636 (which was fixed by rust-lang/rust#91856)
@bors
Copy link
Contributor

bors commented Dec 15, 2021

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Dec 15, 2021

📌 Commit 4da3829 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 15, 2021

⌛ Testing commit 4da3829 with merge 2eb3b37...

@bors
Copy link
Contributor

bors commented Dec 15, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 2eb3b37 to master...

@bors bors merged commit 2eb3b37 into rust-lang:master Dec 15, 2021
@RalfJung RalfJung deleted the test branch December 16, 2021 14:19
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants