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

Update checks script and prune #1058

Closed
wants to merge 6 commits into from

Conversation

trws
Copy link
Member

@trws trws commented Aug 7, 2023

For after #1057, this is some cleanup of extra workflows and updating the check script.

@codecov
Copy link

codecov bot commented Aug 7, 2023

Codecov Report

Merging #1058 (602b599) into master (9726908) will decrease coverage by 1.9%.
The diff coverage is n/a.

❗ Current head 602b599 differs from pull request most recent head fe9e879. Consider uploading reports for the commit fe9e879 to get more accurate results

@@           Coverage Diff            @@
##           master   #1058     +/-   ##
========================================
- Coverage    74.4%   72.6%   -1.9%     
========================================
  Files          86      80      -6     
  Lines        9434   10243    +809     
========================================
+ Hits         7020    7437    +417     
- Misses       2414    2806    +392     

see 68 files with indirect coverage changes

@trws trws closed this Aug 7, 2023
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.

1 participant