Skip to content

Prepend emoji indicative of success of !eval#552

Merged
scragly merged 2 commits into
masterfrom
eval-emojis
Oct 24, 2019
Merged

Prepend emoji indicative of success of !eval#552
scragly merged 2 commits into
masterfrom
eval-emojis

Conversation

@kosayoda
Copy link
Copy Markdown
Contributor

Closes #515

image

@MarkKoz MarkKoz added a: frontend Related to output and formatting type: enhancement labels Oct 24, 2019
@scragly scragly merged commit e05ed53 into master Oct 24, 2019
@scragly scragly deleted the eval-emojis branch October 24, 2019 03:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

a: frontend Related to output and formatting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Prepend emojis indicative of success for !eval

4 participants