-
Task
-
Resolution: Done
-
Major
-
None
-
None
-
None
-
None
As a pre-step before eventually going for Java 11, we should create a Java 11 CI job in Github Actions
As a pre-step before eventually going for Java 11, we should create a Java 11 CI job in Github Actions