Skip to content
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

some of quality of life improvements #597

Merged
merged 14 commits into from Aug 10, 2020

Conversation

cyrush
Copy link
Member

@cyrush cyrush commented Aug 6, 2020

Welcome to the early august 2020 resolve-a-ton:

This PR resolves many pending small issues:

resolves #590
resolves #580
resolves #381
resolves #530
resolves #557
resolves #377
resolves #333
resolves #524

@coveralls
Copy link

coveralls commented Aug 6, 2020

Coverage Status

Coverage increased (+0.03%) to 87.045% when pulling 4567bcc on task/2020_08_bp_examples_harden_vs_bad_inputs into fbc9a48 on master.

@cyrush cyrush changed the title lots of quality of life improvements some of quality of life improvements Aug 7, 2020
@cyrush cyrush merged commit 8679ac7 into master Aug 10, 2020
@cyrush cyrush deleted the task/2020_08_bp_examples_harden_vs_bad_inputs branch August 10, 2020 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment