tree 7d53ef73c01f09ebc5a3ab72bc5f2aa26fb385a3
parent 906470f3408bbd2e0cffd788602b330ed7152011
author Akron <nils@diewald-online.de> 1704969917 +0100
committer Akron <nils@diewald-online.de> 1704972060 +0100

Require Java 17 for GH CI

Change-Id: I7de3c00e4f97478dd1205200dfe25010824ca114