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.

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

Misc fixes #681

Merged
merged 19 commits into from Sep 22, 2018

Conversation

1 participant
@skirpichev
Collaborator

skirpichev commented Sep 15, 2018

No description provided.

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 1a7c721 to 9677e26 Sep 17, 2018

@skirpichev skirpichev added the testing label Sep 18, 2018

@skirpichev skirpichev force-pushed the skirpichev:misc branch from f0f379e to 551f636 Sep 18, 2018

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 551f636 to 629105c Sep 19, 2018

@skirpichev skirpichev force-pushed the skirpichev:misc branch from 8a50da9 to 7793fd7 Sep 19, 2018

@skirpichev skirpichev merged commit e0c59de into diofant:master Sep 22, 2018

3 checks passed

codecov/patch 100% of diff hit (target 97%)
Details
codecov/project Absolute coverage decreased by -<1% but relative coverage increased by +2% compared to 83e2680
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@skirpichev skirpichev deleted the skirpichev:misc branch Sep 22, 2018

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