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

Fix incorrect build.sh script. #17

Merged
merged 1 commit into from
Nov 22, 2023
Merged

Fix incorrect build.sh script. #17

merged 1 commit into from
Nov 22, 2023

Conversation

shibd
Copy link
Member

@shibd shibd commented Nov 22, 2023

Motivation

https://github.com/streamnative/streamnative-ci/actions/runs/6941899358/job/18895014714?pr=4091

Modifications

  • Fix build.sh

Verifying this change

  • None

Does this pull request potentially affect one of the following parts:

  • 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 22, 2023 01:56
@shibd shibd self-assigned this Nov 22, 2023
@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 22, 2023
@shibd shibd merged commit 6c5b6ce into master Nov 22, 2023
3 checks passed
@shibd shibd deleted the fix_ci branch November 22, 2023 01:57
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