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

bump docker to 7.1 #1175

Merged
merged 2 commits into from
May 24, 2024
Merged

bump docker to 7.1 #1175

merged 2 commits into from
May 24, 2024

Conversation

guotuofeng
Copy link
Collaborator

Describe your changes

Checklist before requesting a review

  • Add unit tests for this change.
  • Make sure all tests can pass.
  • Update documents if necessary.
  • Lint and apply fixes to your code by running lintrunner -a
  • Is this a user-facing change? If yes, give a description of this change to be included in the release notes.
  • Is this PR including examples changes? If yes, please remember to update example documentation in a follow-up PR.

(Optional) Issue link

@trajepl
Copy link
Contributor

trajepl commented May 24, 2024

Is it possible to install the main branch from specific commit?

@guotuofeng guotuofeng changed the title bump docker to main bump docker to 7.1 May 24, 2024
@trajepl trajepl merged commit fb97935 into main May 24, 2024
35 checks passed
@trajepl trajepl deleted the myguo/docker_bug2 branch May 24, 2024 02:45
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.

None yet

2 participants