From 872cac5b344942410fe2bc55a0879f6870aa6243 Mon Sep 17 00:00:00 2001
From: Matthew de Detrich <mdedetrich@gmail.com>
Date: Mon, 11 Sep 2023 12:13:06 +0200
Subject: [PATCH] Add JDK 17 to CI

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 594a722b..2ca8fe13 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,6 +20,9 @@ jobs:
           - os: ubuntu-latest
             java: 11
             jobtype: 2
+          - os: ubuntu-latest
+            java: 17
+            jobtype: 2
           - os: macos-latest
             java: 8
             jobtype: 2