From 7a56acb854e42f6172c2ae4fea249e8197f91a34 Mon Sep 17 00:00:00 2001
From: Emmanuel Bourg <ebourg@apache.org>
Date: Fri, 24 Mar 2023 14:41:15 +0100
Subject: [PATCH] Build with Travis CI on Ubuntu Jammy

---
 .travis.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 73e7253d..a8b63fbb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,6 +4,12 @@ jdk:
   - openjdk17
   - openjdk11
   - openjdk8
+os: linux
+dist: jammy
+addons:
+  apt:
+    sources:
+      - sourceline: 'deb http://archive.ubuntu.com/ubuntu/ jammy universe'
 
 env:
   global: