From f067203baf230875308829145301e55d776e7819 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Tue, 29 Jul 2025 10:44:10 -0700
Subject: [PATCH] Remove Java 11 build.

One of the Maven plugins we use is compiled for Java 17, and though I still
think we should target release 11, I don't think it's a huge risk not to
compile _with_ a Java 11 JDK.
---
 .github/workflows/maven.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 3ebb6b4..2204b5d 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -12,7 +12,7 @@ jobs:
 
     strategy:
       matrix:
-        java: ['11', '17', '21']
+        java: ['17', '21']
 
     runs-on: ubuntu-latest
     env:
@@ -33,7 +33,7 @@ jobs:
         run: mvn $MAVEN_CLI_OPTS clean verify
       - name: Upload Test Results
         uses: actions/upload-artifact@v4
-        if: ${{ always() && matrix.java == '11' }}
+        if: ${{ always() && matrix.java == '17' }}
         with:
           name: test-results
           path: 'target/surefire-reports/TEST-*.xml'