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

added code coverage workflow #39

Merged
merged 1 commit into from
May 16, 2024
Merged

added code coverage workflow #39

merged 1 commit into from
May 16, 2024

Conversation

dmitsh
Copy link
Collaborator

@dmitsh dmitsh commented May 16, 2024

No description provided.

@dmitsh dmitsh force-pushed the ds-cover branch 4 times, most recently from 78c1d5b to 2a73c7c Compare May 16, 2024 23:45
@dmitsh dmitsh requested review from yuanchen8911 and shinae-woo May 16, 2024 23:46
Copy link
Collaborator

@shinae-woo shinae-woo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Signed-off-by: Dmitry Shmulevich <[email protected]>
@dmitsh dmitsh merged commit e3d5e67 into main May 16, 2024
4 checks passed
@dmitsh dmitsh deleted the ds-cover branch May 16, 2024 23:51
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.

2 participants