Add debian 12 to full debian CI run

diff --git a/.github/workflows/ci-deb.yml b/.github/workflows/ci-deb.yml
index b38ae4159f45a411d677abc47df5f664ce17064d..eaf44719c8b37ed3791a933d44ea376cc629e1be 100644 (file)
--- a/.github/workflows/ci-deb.yml
+++ b/.github/workflows/ci-deb.yml
@@ -38,6 +38,7 @@ jobs:
               { "NAME": "ubuntu-20.04", "OS": "ubuntu:20.04"    },
               { "NAME": "ubuntu-22.04", "OS": "ubuntu:22.04"    },
               { "NAME": "debian-11",    "OS": "debian:bullseye" },
+              { "NAME": "debian-12",    "OS": "debian:bookworm" },
               { "NAME": "debian-sid",   "OS": "debian:sid"      }
             ]
           }