update gradle wrapper to version 8.7

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

0 stars 5 forks source link

update gradle wrapper to version 8.7 #277

Closed kelloggm closed 2 months ago

kelloggm commented 2 months ago

to avoid the Java 21 compatibility issue encountered by @jonathan-m-phillips

kelloggm commented 2 months ago

After #278 is merged, re-run CI on this branch. I think it will succeed (I fixed the issue, which was related to a bug in the Checker Framework gradle plugin, in the njit-jerse fork of jOOQ in this commit).

kelloggm commented 2 months ago

@LoiNguyenCS this is ready for review. The issue was that I'd forgotten to merge main into this branch 🤦