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

New Optional type #36

Merged
merged 1 commit into from Jan 3, 2018

Conversation

Projects
2 participants
@mosra
Owner

mosra commented Dec 1, 2017

TODO:

  • docs

@mosra mosra self-assigned this Dec 1, 2017

@mosra mosra added this to TODO in Containers via automation Dec 1, 2017

@mosra mosra moved this from TODO to In Progress in Containers Dec 1, 2017

@coveralls

This comment has been minimized.

coveralls commented Dec 1, 2017

Coverage Status

Coverage increased (+0.06%) to 96.23% when pulling b987d2c on optional into 8635775 on master.

@mosra mosra changed the title from New Optional type to [WIP] New Optional type Dec 25, 2017

@mosra mosra force-pushed the optional branch from b987d2c to 65d11fe Jan 3, 2018

@coveralls

This comment has been minimized.

coveralls commented Jan 3, 2018

Coverage Status

Coverage increased (+0.06%) to 96.23% when pulling 65d11fe on optional into fa4e09e on master.

@mosra mosra changed the title from [WIP] New Optional type to New Optional type Jan 3, 2018

@mosra mosra force-pushed the optional branch from 65d11fe to e340ee8 Jan 3, 2018

@mosra mosra merged commit e340ee8 into master Jan 3, 2018

0 of 4 checks passed

continuous-integration/appveyor/branch Waiting for AppVeyor build to complete
Details
continuous-integration/appveyor/pr Waiting for AppVeyor build to complete
Details
continuous-integration/travis-ci/pr The Travis CI build is in progress
Details
continuous-integration/travis-ci/push The Travis CI build is in progress
Details

Containers automation moved this from In Progress to Done Jan 3, 2018

@mosra mosra deleted the optional branch Jan 3, 2018

@mosra mosra added this to the 2018.02 milestone Feb 15, 2018

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