CI: update to Java 17 (and 20)

Open plata opened this issue 3 years ago • 2 comments

required for Spring 6

Nov 20 '22 16:11 plata

We need to update the packaging scripts as well, or use github actions

Mar 09 '24 15:03 Zemogiter

Does anybody want to package locally? If not, GitHub actions should be enough.

Mar 10 '24 11:03 plata