Skip to content

Add coveralls coverage workaround#1015

Closed
OndraM wants to merge 1 commit intomainfrom
coveralls-workaround
Closed

Add coveralls coverage workaround#1015
OndraM wants to merge 1 commit intomainfrom
coveralls-workaround

Conversation

@OndraM
Copy link
Collaborator

@OndraM OndraM commented Sep 20, 2022

Workaround for Coveralls coverage report bug.
See lemurheavy/coveralls-public#1653 (comment)

@OndraM OndraM closed this Sep 20, 2022
@OndraM OndraM deleted the coveralls-workaround branch September 20, 2022 12:58
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