Skip to content

Build and push docker image #289

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

Merged
merged 1 commit into from
Jul 11, 2020
Merged

Build and push docker image #289

merged 1 commit into from
Jul 11, 2020

Conversation

khos2ow
Copy link
Member

@khos2ow khos2ow commented Jul 9, 2020

Prerequisites

Put an x into the box(es) that apply:

  • This pull request fixes a bug.
  • This pull request adds a feature.
  • This pull request enhances existing functionality.
  • This pull request introduces breaking change.

For more information, see the Contributing Guide.

Description

Create official Docker image for the tool.

Issues Resolved

List any existing issues this pull request resolves.

Checklist

Put an x into all boxes that apply:

Tests

  • I have added tests to cover my changes.
  • All tests pass when I run make test.

Documentation

  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.

Code Style

  • My code follows the code style of this project.

@codecov
Copy link

codecov bot commented Jul 9, 2020

Codecov Report

Merging #289 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #289   +/-   ##
=======================================
  Coverage   81.68%   81.68%           
=======================================
  Files          34       34           
  Lines        1796     1796           
=======================================
  Hits         1467     1467           
  Misses        274      274           
  Partials       55       55           

@khos2ow khos2ow marked this pull request as ready for review July 9, 2020 23:57
@khos2ow khos2ow added the docker label Jul 11, 2020
@khos2ow khos2ow merged commit 38a86cb into master Jul 11, 2020
@khos2ow khos2ow deleted the docker branch July 11, 2020 23:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant