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

Update Jenkinsfile #8

Merged
merged 1 commit into from
Jun 12, 2023
Merged

Update Jenkinsfile #8

merged 1 commit into from
Jun 12, 2023

Conversation

kahun
Copy link

@kahun kahun commented Jun 12, 2023

What type of PR is this?

What this PR does / why we need it:

Which issue(s) this PR fixes (optional, in fixes #<issue number>(, fixes #<issue_number>, ...) format, will close the issue(s) when PR gets merged):
Fixes #

Special notes for your reviewer:

Checklist:

  • squashed commits
  • includes documentation
  • adds unit tests
  • adds or updates e2e tests

Release note:


@iamjanr iamjanr self-requested a review June 12, 2023 09:26
Copy link

@iamjanr iamjanr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@kahun kahun merged commit 2d392e0 into main Jun 12, 2023
3 checks passed
@kahun kahun deleted the kahun-patch-1 branch June 12, 2023 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants