New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve CI configs. #214

Merged

bezoerb merged 1 commit into bezoerb:master from XhmikosR:master

Aug 6, 2019

Contributor

XhmikosR commented Aug 6, 2019 •

edited

Loading


          Improve CI configs.

788b844

coveralls commented Aug 6, 2019 •

edited

Loading

Coverage remained the same at 93.103% when pulling 788b844 on XhmikosR:master into 5bc0d46 on bezoerb:master.

bezoerb merged commit f8846a2 into bezoerb:master

Owner

bezoerb commented Aug 6, 2019

Thanks @XhmikosR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment