-
Notifications
You must be signed in to change notification settings - Fork 7
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
Upgrade Gradle to 8.5. #113
Conversation
Trying to figure out why the build is breaking. |
Can't break it locally. Trying to add |
I give up. |
@netdpb The CI failure looks like something goes wrong with annotation-tools. |
It works for me locally too, even without those. Yes, it's an issue with annotation-tools, which also uses an old Gradle. I think we should give up on this until you've finished deforking. Then we will be able to depend on a released version of annotation-tools (and eisop), right? |
eisop doesn't depend on annotation-tools. Merging the two checker-framework PRs should unblock this PR and wouldn't make deforking harder. |
Oh cool! I commented on some Gradle and shell bits of the first one. |
…er-framework into gradle-version
No description provided.