close
The Wayback Machine - https://web.archive.org/web/20201110183134/https://github.com/docker/cli/pull/2713
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

CircleCI: update to docker 19.03.12 #2713

Merged
merged 1 commit into from Sep 11, 2020

Conversation

@thaJeztah
Copy link
Member

@thaJeztah thaJeztah commented Sep 11, 2020

- What I did

- How I did it

- How to verify it

- Description for the changelog

- A picture of a cute animal (not mandatory but encouraged)

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
@codecov-commenter
Copy link

@codecov-commenter codecov-commenter commented Sep 11, 2020

Codecov Report

Merging #2713 into master will increase coverage by 0.01%.
The diff coverage is 83.33%.

@@            Coverage Diff             @@
##           master    #2713      +/-   ##
==========================================
+ Coverage   58.58%   58.59%   +0.01%     
==========================================
  Files         296      296              
  Lines       21353    21360       +7     
==========================================
+ Hits        12509    12516       +7     
  Misses       7931     7931              
  Partials      913      913              
Copy link
Contributor

@silvin-lubecki silvin-lubecki left a comment

LGTM

@silvin-lubecki silvin-lubecki merged commit 2955ece into docker:master Sep 11, 2020
8 checks passed
8 checks passed
DCO DCO
Details
ci/circleci: cross Your tests passed on CircleCI!
Details
ci/circleci: lint Your tests passed on CircleCI!
Details
ci/circleci: test Your tests passed on CircleCI!
Details
ci/circleci: validate Your tests passed on CircleCI!
Details
codecov/patch 83.33% of diff hit (target 50.00%)
Details
codecov/project 58.59% (+0.01%) compared to 7836597
Details
continuous-integration/jenkins/pr-merge This commit looks good
Details
@thaJeztah thaJeztah deleted the thaJeztah:update_circleci branch Sep 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.