Skip to content

Comments

chore/deepsource coverage#9

Open
tiborpilz wants to merge 8 commits intomainfrom
chore/deepsource-coverage
Open

chore/deepsource coverage#9
tiborpilz wants to merge 8 commits intomainfrom
chore/deepsource-coverage

Conversation

@tiborpilz
Copy link
Owner

@tiborpilz tiborpilz commented Dec 28, 2022

  • ci: add deepsource coverage reporting

@tiborpilz tiborpilz force-pushed the chore/deepsource-coverage branch from ab37950 to 5ba3d13 Compare December 28, 2022 01:19
@tiborpilz tiborpilz force-pushed the chore/deepsource-coverage branch from 1238da5 to e4104a4 Compare December 28, 2022 01:50
@tiborpilz tiborpilz force-pushed the chore/deepsource-coverage branch from e4104a4 to 626ab36 Compare December 28, 2022 01:57
@tiborpilz tiborpilz force-pushed the chore/deepsource-coverage branch 7 times, most recently from a56c6d8 to 777251d Compare December 28, 2022 02:57
@tiborpilz tiborpilz force-pushed the chore/deepsource-coverage branch from 777251d to ed0eea7 Compare December 28, 2022 03:46
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