Closed AndrewShf closed 1 year ago
test-commit, probably will fail because of the changes of APIs in the Checker-Framework.
Nope, it uses opprop/checker-framework.
Can be closed as it is only used to check the annotation-tools work or not.
test-commit, probably will fail because of the changes of APIs in the Checker-Framework.