Skip to content

try to get coveralls to have a useful badge#188

Merged
jmalkin merged 1 commit intomasterfrom
coverage_fix
Jan 29, 2021
Merged

try to get coveralls to have a useful badge#188
jmalkin merged 1 commit intomasterfrom
coverage_fix

Conversation

@jmalkin
Copy link
Contributor

@jmalkin jmalkin commented Jan 29, 2021

i don't think we'll know if this actually works until we merge it

@jmalkin
Copy link
Contributor Author

jmalkin commented Jan 29, 2021

i manually killed the CI jobs since there's no code change here

@jmalkin jmalkin merged commit 0520082 into master Jan 29, 2021
@jmalkin jmalkin deleted the coverage_fix branch January 29, 2021 18:11
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