WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Conversation

@poljar
Copy link
Contributor

@poljar poljar commented Dec 11, 2025

The later is more standard and some editor plugins will highlight those for you.

The later is more standard and some editor plugins will highlight those
for you.
@poljar poljar requested a review from a team as a code owner December 11, 2025 12:00
@poljar poljar requested review from Hywan and removed request for a team December 11, 2025 12:00
@codecov
Copy link

codecov bot commented Dec 11, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.50%. Comparing base (76cae09) to head (cb405ee).
⚠️ Report is 12 commits behind head on main.
✅ All tests successful. No failed tests found.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #5952      +/-   ##
==========================================
- Coverage   88.50%   88.50%   -0.01%     
==========================================
  Files         362      362              
  Lines      103438   103438              
  Branches   103438   103438              
==========================================
- Hits        91549    91548       -1     
- Misses       7539     7541       +2     
+ Partials     4350     4349       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@codspeed-hq
Copy link

codspeed-hq bot commented Dec 11, 2025

CodSpeed Performance Report

Merging #5952 will not alter performance

Comparing poljar/more-notes-that-become-NOTES (cb405ee) with main (2522a36)

Summary

✅ 50 untouched

@poljar poljar merged commit 17a4888 into main Dec 11, 2025
53 checks passed
@poljar poljar deleted the poljar/more-notes-that-become-NOTES branch December 11, 2025 15:09
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.

3 participants