Disabling build with Java 17, because we are running into https://bugs.openjdk.java...
authorJochen Wiedmann <jochen.wiedmann@gmail.com>
Thu, 31 Mar 2022 22:06:25 +0000 (23:06 +0100)
committerJochen Wiedmann <jochen.wiedmann@gmail.com>
Thu, 31 Mar 2022 22:06:25 +0000 (23:06 +0100)
commitd0f8f09297f117f5de50a2748e2905da589c9933
tree190ff9d40c52fb735864f448963d0d974b8f70ff
parent8dc90b6eec9be8941738981ee843ec9e9a4aa709
Disabling build with Java 17, because we are running into https://bugs.openjdk.java.net/browse/JDK-8270866.
.github/workflows/maven.yml