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

Add clear, exit, and help to UG #195

Merged
merged 7 commits into from
Nov 13, 2023

Merge branch 'master' into branch-UG-final

2c3197e
Select commit
Loading
Failed to load commit list.
Merged

Add clear, exit, and help to UG #195

Merge branch 'master' into branch-UG-final
2c3197e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Nov 13, 2023 in 0s

81.22% (target 70.00%)

View this Pull Request on Codecov

81.22% (target 70.00%)

Details

Codecov Report

Merging #195 (2c3197e) into master (6437d39) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #195   +/-   ##
=========================================
  Coverage     81.22%   81.22%           
  Complexity      970      970           
=========================================
  Files            95       95           
  Lines          2945     2945           
  Branches        429      429           
=========================================
  Hits           2392     2392           
  Misses          396      396           
  Partials        157      157