Skip to content

Conversation

@jonas-schievink
Copy link
Contributor

Reverts #13367

I didn't manage to figure out what exactly is the issue, so reverting this to fix #13404 before monday.

@jonas-schievink
Copy link
Contributor Author

@bors r+

@bors
Copy link
Contributor

bors commented Oct 14, 2022

📌 Commit 55fdcbe has been approved by jonas-schievink

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 14, 2022

⌛ Testing commit 55fdcbe with merge 44fbe52...

@bors
Copy link
Contributor

bors commented Oct 14, 2022

☀️ Test successful - checks-actions
Approved by: jonas-schievink
Pushing 44fbe52 to master...

@bors bors merged commit 44fbe52 into master Oct 14, 2022
@bors bors deleted the revert-13367-fix-problem-matchers branch October 14, 2022 07:49
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.

Run test / debug not working in VSCode

2 participants