Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

chore: prevent CI from failing on coverage report #76

Merged
merged 1 commit into from
Jul 28, 2022
Merged

chore: prevent CI from failing on coverage report #76

merged 1 commit into from
Jul 28, 2022

Conversation

k3rn31
Copy link
Member

@k3rn31 k3rn31 commented Jul 28, 2022

No description provided.

@k3rn31 k3rn31 added the c/chore Category: Something that has to be done label Jul 28, 2022
@k3rn31 k3rn31 self-assigned this Jul 28, 2022
@pull-request-size pull-request-size bot added the s/XS Size: Denotes a PR that changes 0-9 lines label Jul 28, 2022
@k3rn31 k3rn31 merged commit d86f93f into main Jul 28, 2022
@k3rn31 k3rn31 deleted the fix_pr_blocked_coverage_report branch July 28, 2022 14:56
giose86 pushed a commit that referenced this pull request Jul 28, 2022
@k3rn31 @giose86
chore: prevent CI from failing on coverage report (#76)
e5e47c3
giose86 pushed a commit that referenced this pull request Jul 28, 2022
@k3rn31 @giose86
chore: prevent CI from failing on coverage report (#76)
31bdde8
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@k3rn31 k3rn31

Labels
c/chore Category: Something that has to be done s/XS Size: Denotes a PR that changes 0-9 lines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@k3rn31