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

General CI improvements #2041

Merged
merged 4 commits into from
Dec 15, 2022
Merged

General CI improvements #2041

merged 4 commits into from
Dec 15, 2022

Conversation

staticdev
Copy link
Collaborator

No description provided.

@staticdev staticdev added the ci Continuous Integration label Dec 15, 2022
@codecov
Copy link

codecov bot commented Dec 15, 2022

Codecov Report

Merging #2041 (abd5eb2) into main (8a10e47) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2041   +/-   ##
=======================================
  Coverage   98.80%   98.80%           
=======================================
  Files          38       38           
  Lines        3084     3084           
  Branches      734      745   +11     
=======================================
  Hits         3047     3047           
  Misses         26       26           
  Partials       11       11           

@staticdev staticdev merged commit 501855c into main Dec 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci Continuous Integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant