Max 728457d416 Remove JDK 11 from build ...

(Also trying out a new syntax for build versioning that tries to cobble it together from gradle.properties, hopefully it works)

2021-05-19 16:15:17 +02:00

..

pr.yml

Update pr.yml

2021-05-19 01:53:40 +02:00

push.yml

Remove JDK 11 from build

2021-05-19 16:15:17 +02:00