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

tweak: remove unused stats rows #859

Merged
merged 1 commit into from
Oct 29, 2023
Merged

Conversation

lupino3
Copy link
Member

@lupino3 lupino3 commented Oct 29, 2023

No description provided.

@lupino3
Copy link
Member Author

lupino3 commented Oct 29, 2023

Fixes #698

@codecov-commenter
Copy link

codecov-commenter commented Oct 29, 2023

Codecov Report

Merging #859 (c1e867b) into master (d0957ed) will increase coverage by 0.03%.
The diff coverage is n/a.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

Impacted file tree graph

@@             Coverage Diff              @@
##             master     #859      +/-   ##
============================================
+ Coverage     52.05%   52.08%   +0.03%     
  Complexity     1452     1452              
============================================
  Files           251      251              
  Lines         10232    10226       -6     
  Branches       1099     1099              
============================================
  Hits           5326     5326              
+ Misses         4585     4579       -6     
  Partials        321      321              
Files Coverage Δ
...ain/java/org/edumips64/ui/swing/GUIStatistics.java 0.00% <ø> (ø)

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d0957ed...c1e867b. Read the comment docs.

@github-actions github-actions bot temporarily deployed to 859 October 29, 2023 18:02 Destroyed
@lupino3 lupino3 merged commit 1b7d7d2 into master Oct 29, 2023
13 of 14 checks passed
@lupino3 lupino3 deleted the dev/lupino3/remove-useless-stats branch October 29, 2023 18: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.

None yet

2 participants