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.

Sign up for GitHub

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

Jump to bottom

Add Dockerfile. #15

Merged
merged 1 commit into from
Nov 17, 2023
Merged

Add Dockerfile. #15

merged 1 commit into from
Nov 17, 2023

Conversation

shibd
Copy link
Member

@shibd shibd commented Nov 17, 2023

Motivation

Add Dockerfile.

Modifications

Add Dockerfile.

Verifying this change

  • None

Documentation

  • Does this pull request introduce a new feature? (yes / no)
  • If yes, how is the feature documented? (not applicable / docs / JavaDocs / not documented)
  • If a feature is not applicable for documentation, explain why?
  • If a feature is not documented yet in this PR, please create a followup issue for adding the documentation

@shibd shibd requested a review from a team as a code owner November 17, 2023 00:49
@github-actions GitHub Actions
Copy link

@shibd:Thanks for your contribution. For this PR, do we need to update docs?
(The PR template contains info about doc, which helps others know more about the changes. Can you provide doc-related info in this and future PR descriptions? Thanks)

@github-actions github-actions bot added the doc-info-missing This pr needs to mark a document option in description label Nov 17, 2023
@shibd shibd merged commit 8696524 into master Nov 17, 2023
4 checks passed
@shibd shibd deleted the add_dockerfile branch November 17, 2023 01:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RobertIndie RobertIndie RobertIndie approved these changes

Assignees

@shibd shibd

Labels
doc-info-missing This pr needs to mark a document option in description
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@shibd @RobertIndie