From 5db28f30a34f1f7acac5009cfece4ea3e0b107d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vincent=20Rivi=C3=A8re?= Date: Fri, 13 Oct 2023 00:40:37 +0200 Subject: [PATCH] Build binaries for Ubuntu 23.10 Mantic Minotaur --- .github/deploy_ppa_all_dists.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/deploy_ppa_all_dists.sh b/.github/deploy_ppa_all_dists.sh index 76e2b4f..7dec67c 100755 --- a/.github/deploy_ppa_all_dists.sh +++ b/.github/deploy_ppa_all_dists.sh @@ -16,6 +16,7 @@ DISTS+=" focal" DISTS+=" jammy" DISTS+=" kinetic" DISTS+=" lunar" +DISTS+=" mantic" # Use timestamp as package suffix to generate a unique version number SUFFIX=ppa$(date -u +%Y%m%d%H%M%S)