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

Maven plugin #2782

Open
mernst opened this issue Sep 22, 2019 · 1 comment
Open

Maven plugin #2782

mernst opened this issue Sep 22, 2019 · 1 comment
Labels
enhancement good first issue A beginner-friendly place to start contributing to the Checker Framework
Milestone

Comments

@mernst
Copy link
Member

mernst commented Sep 22, 2019

Create a Maven plugin for the Checker Framework, similar to the Gradle Checker Framework Plugin.

The current Maven instructions require a great deal of cut-and-paste, which is error-prone and is offputting to newcomers.

@wmdietl
Copy link
Member

wmdietl commented Sep 23, 2019

For historic context, the previous plugin can be found here: https://github.com/typetools/checker-framework/tree/checker-framework-1.8.2/maven-plugin

@smillst smillst added this to the Medium milestone Oct 7, 2019
@mernst mernst added good first issue A beginner-friendly place to start contributing to the Checker Framework and removed help wanted labels Nov 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement good first issue A beginner-friendly place to start contributing to the Checker Framework
Projects
None yet
Development

No branches or pull requests

3 participants