-
Notifications
You must be signed in to change notification settings - Fork 323
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
Set priority of markdown_messages #3113
Conversation
This pull request was exported from Phabricator. Differential Revision: D66368295 |
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #3113 +/- ##
=======================================
Coverage 95.43% 95.43%
=======================================
Files 503 503
Lines 50316 50342 +26
=======================================
+ Hits 48018 48044 +26
Misses 2298 2298 ☔ View full report in Codecov by Sentry. |
Summary: This diff: * Introduces `OutputPriority`, which categorizes the urgency and therefore placement of each message, to be expanded to other output types. * Introduces `MessageOutput`, which has fields `text` and `priority`. * Changes value type of `Scheduler.markdown_messages` dict from `str` to `MessageOutput`, so that all markdown_messages must have a priority associated with them. Differential Revision: D66368295
73e6bc2
to
3fdcbe7
Compare
This pull request was exported from Phabricator. Differential Revision: D66368295 |
Summary: This diff: * Introduces `OutputPriority`, which categorizes the urgency and therefore placement of each message, to be expanded to other output types. * Introduces `MessageOutput`, which has fields `text` and `priority`. * Changes value type of `Scheduler.markdown_messages` dict from `str` to `MessageOutput`, so that all markdown_messages must have a priority associated with them. Differential Revision: D66368295
3fdcbe7
to
44d2d13
Compare
This pull request was exported from Phabricator. Differential Revision: D66368295 |
Summary: This diff: * Introduces `OutputPriority`, which categorizes the urgency and therefore placement of each message, to be expanded to other output types. * Introduces `MessageOutput`, which has fields `text` and `priority`. * Changes value type of `Scheduler.markdown_messages` dict from `str` to `MessageOutput`, so that all markdown_messages must have a priority associated with them. Differential Revision: D66368295
44d2d13
to
661d2da
Compare
This pull request was exported from Phabricator. Differential Revision: D66368295 |
661d2da
to
a93204b
Compare
Summary: This diff: * Introduces `OutputPriority`, which categorizes the urgency and therefore placement of each message, to be expanded to other output types. * Introduces `MessageOutput`, which has fields `text` and `priority`. * Changes value type of `Scheduler.markdown_messages` dict from `str` to `MessageOutput`, so that all markdown_messages must have a priority associated with them. Differential Revision: D66368295
This pull request was exported from Phabricator. Differential Revision: D66368295 |
Summary: This diff: * Introduces `OutputPriority`, which categorizes the urgency and therefore placement of each message, to be expanded to other output types. * Introduces `MessageOutput`, which has fields `text` and `priority`. * Changes value type of `Scheduler.markdown_messages` dict from `str` to `MessageOutput`, so that all markdown_messages must have a priority associated with them. Reviewed By: Balandat Differential Revision: D66368295
a93204b
to
0f937a6
Compare
This pull request was exported from Phabricator. Differential Revision: D66368295 |
This pull request has been merged in 53420b6. |
Summary:
This diff:
OutputPriority
, which categorizes the urgency and therefore placement of each message, to be expanded to other output types.MessageOutput
, which has fieldstext
andpriority
.Scheduler.markdown_messages
dict fromstr
toMessageOutput
, so that all markdown_messages must have a priority associated with them.Differential Revision: D66368295