Skip to content

Change baseline JDK setting from 1.8 to 17 #253

Change baseline JDK setting from 1.8 to 17

Change baseline JDK setting from 1.8 to 17 #253

build (17, ubuntu-22.04)

succeeded Dec 4, 2024 in 18s