Skip to content
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

misc: fix diagnostic region printing #1227

Merged
merged 1 commit into from Jul 4, 2023
Merged

Conversation

superlopuh
Copy link
Member

# type: ignore considered harmful...

I hit this while working on Toy

@superlopuh superlopuh added bug Something isn't working minor For minor PRs, easy and quick to review, quickly mergeable labels Jul 4, 2023
@superlopuh superlopuh self-assigned this Jul 4, 2023
@codecov
Copy link

codecov bot commented Jul 4, 2023

Codecov Report

Patch coverage has no change and project coverage change: +0.01 🎉

Comparison is base (08368d7) 88.96% compared to head (c9f792e) 88.97%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1227      +/-   ##
==========================================
+ Coverage   88.96%   88.97%   +0.01%     
==========================================
  Files         170      174       +4     
  Lines       23244    23385     +141     
  Branches     3529     3544      +15     
==========================================
+ Hits        20678    20806     +128     
- Misses       2003     2013      +10     
- Partials      563      566       +3     
Impacted Files Coverage Δ
xdsl/utils/diagnostic.py 84.00% <0.00%> (ø)

... and 7 files with indirect coverage changes

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

@superlopuh superlopuh merged commit 2d4a2ca into main Jul 4, 2023
10 checks passed
@superlopuh superlopuh deleted the sasha/diagnostic-print-region branch July 4, 2023 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working minor For minor PRs, easy and quick to review, quickly mergeable
Projects
Development

Successfully merging this pull request may close these issues.

None yet

4 participants