From fd2946a9c8b8234227952ef7fbb0850752c9992b Mon Sep 17 00:00:00 2001
From: Stephan Schroevers <stephan.schroevers@teampicnic.com>
Date: Mon, 19 Dec 2022 09:37:03 +0100
Subject: [PATCH] Disable failing JDK 20-ea build for now (#419)

The build fails due to
openjdk/jdk20@2cb64a75578ccc15a1dfc8c2843aa11d05ca8aa7; the upcoming
Error Prone release includes a workaround for this:
google/error-prone@df033f03cb55c3f26221660ac5ea49bbaeeab289.
---
 .github/workflows/build.yaml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 188450955e..738e11dfbc 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -22,10 +22,11 @@ jobs:
             jdk: 17.0.4
             distribution: temurin
             experimental: false
-          - os: ubuntu-22.04
-            jdk: 20-ea
-            distribution: zulu
-            experimental: true
+          # XXX: Re-enable this build after upgrading to Error Prone 2.17.
+          #- os: ubuntu-22.04
+          #  jdk: 20-ea
+          #  distribution: zulu
+          #  experimental: true
     runs-on: ${{ matrix.os }}
     continue-on-error: ${{ matrix.experimental }}
     steps: