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

chore(ci): update checkstyle annotation #776

Merged
merged 2 commits into from
Oct 19, 2023

Conversation

miurahr
Copy link
Member

@miurahr miurahr commented Oct 19, 2023

Pull request type

  • Build and release changes -> [build/release]

Which ticket is resolved?

What does this PR change?

  • replace actions market recipe to simple problem-matcher
  • Update problem-matcher.json to recognize checkstyle

Other information

Signed-off-by: Hiroshi Miura <[email protected]>
@miurahr miurahr merged commit a8a7bf4 into master Oct 19, 2023
5 checks passed
@miurahr miurahr deleted the topic/miurahr/ci/update-problem-matcher branch November 13, 2023 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant