Skip to content

Conversation

oli-obk
Copy link
Contributor

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

./miri bless -- --quiet now prints a dot per test, along with the regular Rust unit tests that listen to this flag

@bors
Copy link
Contributor

bors commented Jul 20, 2022

☔ The latest upstream changes (presumably #2373) made this pull request unmergeable. Please resolve the merge conflicts.

@oli-obk
Copy link
Contributor Author

oli-obk commented Jul 20, 2022

@rustbot author

@rustbot rustbot added the S-waiting-on-author Status: Waiting for the PR author to address review comments label Jul 20, 2022
@oli-obk
Copy link
Contributor Author

oli-obk commented Jul 21, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Jul 21, 2022

📌 Commit ecacc56 has been approved by oli-obk

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 21, 2022

⌛ Testing commit ecacc56 with merge 3800933...

@bors
Copy link
Contributor

bors commented Jul 21, 2022

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 3800933 to master...

@bors bors merged commit 3800933 into master Jul 21, 2022
@RalfJung RalfJung deleted the dot_mode branch July 24, 2022 12:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-author Status: Waiting for the PR author to address review comments
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants