Add Ubuntu 22.04 ("Jammy Jellyfish") and Ubuntu 23.10 ("Mantic Minotaur").

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0af015ca7157e2d66a9844cc09092995c7c30aba..6de1044bc6ace648bf23bad91fbff1e338924f13 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -27,6 +27,8 @@ jobs:
           - bullseye_amd64
           - buster_amd64
           # Ubuntu
+          - mantic_amd64
+          - jammy_amd64
           - focal_amd64
           - bionic_amd64
           # RedHat family