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

Skip ci java unused #864

Merged
merged 0 commits into from
Aug 10, 2023
Merged

Skip ci java unused #864

merged 0 commits into from
Aug 10, 2023

Conversation

mshima
Copy link
Owner

@mshima mshima commented Aug 8, 2023

Please make sure the below checklist is followed for Pull Requests.

When you are still working on the PR, consider converting it to Draft (below reviewers) and adding skip-ci label, you can still see CI build result at your branch.

@github-actions github-actions bot force-pushed the main branch 2 times, most recently from dd513b5 to e4de51a Compare August 9, 2023 02:32
@github-actions github-actions bot force-pushed the main branch 4 times, most recently from ed94981 to 1b62a2d Compare August 9, 2023 10:23
@mshima mshima force-pushed the skip_ci-java-unused branch 3 times, most recently from f39aa98 to d614db6 Compare August 9, 2023 14:00
@github-actions github-actions bot merged commit c35049c into main Aug 10, 2023
49 checks passed
@github-actions github-actions bot deleted the skip_ci-java-unused branch August 10, 2023 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
theme: dependencies theme: java theme: jhipster-internals
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mshima