Skip to content

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jul 13, 2022

fixes #2362

@oli-obk oli-obk force-pushed the regex_error_annotations branch from 9ea5c6e to 837bf84 Compare July 13, 2022 14:36
@RalfJung
Copy link
Member

Beautiful. :)

@bors r+

@bors
Copy link
Contributor

bors commented Jul 13, 2022

📌 Commit 837bf84 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 13, 2022

⌛ Testing commit 837bf84 with merge 4e9de31...

@bors
Copy link
Contributor

bors commented Jul 13, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 4e9de31 to master...

@bors bors merged commit 4e9de31 into master Jul 13, 2022
@oli-obk oli-obk deleted the regex_error_annotations branch July 14, 2022 11: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.

ui_test: regex for error patterns?
3 participants