Skip to content

chore: add linting to workflow#254

Merged
bastiandoetsch merged 13 commits intomainfrom
chore/add-linter
Jan 29, 2025
Merged

chore: add linting to workflow#254
bastiandoetsch merged 13 commits intomainfrom
chore/add-linter

Conversation

@bastiandoetsch
Copy link
Copy Markdown
Contributor

@bastiandoetsch bastiandoetsch commented Jan 29, 2025

Description

Add PMD as a linter for Eclipse, checking all modified files in a PR. It's also added to the build, so it can be locally verified.

Checklist

  • Tests added and all succeed
  • Linted
  • CHANGELOG.md updated
  • README.md updated, if user-facing

Screenshots / GIFs

image

@bastiandoetsch bastiandoetsch requested a review from a team as a code owner January 29, 2025 09:04
@github-advanced-security
Copy link
Copy Markdown

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

@bastiandoetsch bastiandoetsch changed the title chore/add-linter chore: add linting to workflow Jan 29, 2025
@bastiandoetsch bastiandoetsch merged commit a963f9b into main Jan 29, 2025
@bastiandoetsch bastiandoetsch deleted the chore/add-linter branch January 29, 2025 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants