Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Change style for bad user mentions #2079

Merged
merged 1 commit into from
Dec 30, 2022
Merged

Conversation

int-y1
Copy link
Contributor

@int-y1 int-y1 commented Dec 27, 2022

Capture

Side note: <del> is also used by Markdown's ~~strikethrough~~.

@codecov-commenter
Copy link

codecov-commenter commented Dec 27, 2022

Codecov Report

Base: 46.65% // Head: 46.65% // No change to project coverage 👍

Coverage data is based on head (6969d58) compared to base (155f4fb).
Patch coverage: 0.00% of modified lines in pull request are covered.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #2079   +/-   ##
=======================================
  Coverage   46.65%   46.65%           
=======================================
  Files         238      238           
  Lines       13250    13250           
=======================================
  Hits         6182     6182           
  Misses       7068     7068           
Impacted Files Coverage Δ
judge/jinja2/reference.py 23.48% <0.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

Copy link
Member

@Xyene Xyene left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@Xyene Xyene merged commit 439e928 into DMOJ:master Dec 30, 2022
@int-y1 int-y1 deleted the bad-user-mention branch December 30, 2022 00:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants