Add support for Annotation Processors in the Javac Extension #3686

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

Open

PiIsRational wants to merge 21 commits into KeYProject:main from PiIsRational:javac-extension

Open

Add support for Annotation Processors in the Javac Extension #3686

Merge branch 'main' into javac-extension

Codecov / codecov/patch succeeded Mar 30, 2026 in 0s

Coverage not affected when comparing 7d01c6c...73d9619

View this Pull Request on Codecov

Coverage not affected when comparing 7d01c6c...73d9619

View more details on Codecov