Skip to content

Add coverage to GitHub actions. - #201

Merged
mbrt merged 2 commits into
masterfrom
coverage
Oct 21, 2021
Merged

Add coverage to GitHub actions.#201
mbrt merged 2 commits into
masterfrom
coverage

Conversation

@mbrt

@mbrtmbrt commented Oct 21, 2021

Copy link
Copy Markdown
Owner

No description provided.

@mbrt
mbrtforce-pushed the coverage branch 8 times, most recently from 0570fa4 to affd64dCompareOctober 21, 2021 22:08
@mbrt
mbrt merged commit 2575652 into masterOct 21, 2021
@mbrt
mbrt deleted the coverage branch October 21, 2021 22:21
Sign up for freeto 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

@mbrt