Skip to content

Use named multiline Problem Matcher#858

Merged
bors[bot] merged 1 commit intorust-lang:masterfrom
kjeremy:problem-matcher
Feb 19, 2019
Merged

Use named multiline Problem Matcher#858
bors[bot] merged 1 commit intorust-lang:masterfrom
kjeremy:problem-matcher

Conversation

@kjeremy
Copy link
Contributor

@kjeremy kjeremy commented Feb 18, 2019

Now that microsoft/vscode#65840 is in the latest release we can use the first commit from #408

Now that microsoft/vscode#65840 is in the latest
release we can use the first commit from rust-lang#408
@matklad
Copy link
Contributor

matklad commented Feb 19, 2019

bors r+

Thanks!

bors bot added a commit that referenced this pull request Feb 19, 2019
858: Use named multiline Problem Matcher r=matklad a=kjeremy

Now that microsoft/vscode#65840 is in the latest release we can use the first commit from #408

Co-authored-by: kjeremy <kjeremy@gmail.com>
@bors
Copy link
Contributor

bors bot commented Feb 19, 2019

Build succeeded

@bors bors bot merged commit f626733 into rust-lang:master Feb 19, 2019
@kjeremy kjeremy deleted the problem-matcher branch February 25, 2020 14:57
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.

2 participants