Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Update ui-toml tests #4378

Merged
merged 1 commit into from
Aug 14, 2019
Merged

Update ui-toml tests #4378

merged 1 commit into from
Aug 14, 2019

Conversation

flip1995
Copy link
Member

changelog: none

@flip1995
Copy link
Member Author

@bors r+

Merging myself, since it's just an update of 2 test files.

@bors
Copy link
Collaborator

bors commented Aug 14, 2019

📌 Commit 17808c7 has been approved by flip1995

@bors
Copy link
Collaborator

bors commented Aug 14, 2019

⌛ Testing commit 17808c7 with merge 1916768...

bors added a commit that referenced this pull request Aug 14, 2019
Update ui-toml tests

changelog: none
@bors
Copy link
Collaborator

bors commented Aug 14, 2019

💔 Test failed - checks-travis

@phansch
Copy link
Member

phansch commented Aug 14, 2019

@bors retry

@flip1995
Copy link
Member Author

@bors p=10

@bors
Copy link
Collaborator

bors commented Aug 14, 2019

⌛ Testing commit 17808c7 with merge 36f7fae...

bors added a commit that referenced this pull request Aug 14, 2019
Update ui-toml tests

changelog: none
@phansch phansch mentioned this pull request Aug 14, 2019
@bors
Copy link
Collaborator

bors commented Aug 14, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing 36f7fae to master...

@bors bors merged commit 17808c7 into rust-lang:master Aug 14, 2019
bors added a commit that referenced this pull request Aug 15, 2019
Also specify patch version of toml crate

cc rust-lang/rust#63587

The patch update of the toml crate to version 0.5.3 recently broke some tests: #4378. For rustc, we have to define the complete version though.

changelog: none
@flip1995 flip1995 deleted the ui-toml branch May 4, 2020 15:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants