Skip to content

Add CI job for coverage tests#109

Merged
skirpichev merged 1 commit intodiofant:masterfrom
skirpichev:add-coverage-ci/104
Dec 26, 2024
Merged

Add CI job for coverage tests#109
skirpichev merged 1 commit intodiofant:masterfrom
skirpichev:add-coverage-ci/104

Conversation

@skirpichev
Copy link
Copy Markdown
Member

Closes #104

@skirpichev skirpichev force-pushed the add-coverage-ci/104 branch 4 times, most recently from 9f8f079 to 17d97f6 Compare December 26, 2024 03:25
@skirpichev skirpichev merged commit 462eac5 into diofant:master Dec 26, 2024
@skirpichev skirpichev deleted the add-coverage-ci/104 branch December 26, 2024 04:27
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.

Add CI job to run coverage tests

1 participant