Skip to content

Comments

docker: rename docker images#1022

Merged
Mini256 merged 1 commit intopingcap:mainfrom
Mini256:rename-docker-image
Dec 9, 2022
Merged

docker: rename docker images#1022
Mini256 merged 1 commit intopingcap:mainfrom
Mini256:rename-docker-image

Conversation

@Mini256
Copy link
Member

@Mini256 Mini256 commented Dec 9, 2022

What problem does this PR solve?

Issue Number: close #xxx

Problem Summary:

What is changed and how it works?

@Mini256 Mini256 merged commit 6651bae into pingcap:main Dec 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant