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

Small fixes #128

Merged
merged 1 commit into from
Oct 5, 2023
Merged

Small fixes #128

merged 1 commit into from
Oct 5, 2023

Conversation

Columpio
Copy link
Collaborator

@Columpio Columpio commented Oct 4, 2023

No description provided.

@codecov-commenter
Copy link

codecov-commenter commented Oct 4, 2023

Codecov Report

Merging #128 (c818211) into main (f5f7574) will not change coverage.
The diff coverage is n/a.

❗ Current head c818211 differs from pull request most recent head 46268f8. Consider uploading reports for the commit 46268f8 to get more accurate results

@@           Coverage Diff           @@
##             main     #128   +/-   ##
=======================================
  Coverage   66.45%   66.45%           
=======================================
  Files         215      215           
  Lines       29646    29646           
  Branches     6573     6573           
=======================================
  Hits        19700    19700           
  Misses       7431     7431           
  Partials     2515     2515           

see 2 files with indirect coverage changes

@misonijnik misonijnik merged commit 90e8cbf into main Oct 5, 2023
20 checks passed
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.

3 participants