Drop ubuntu-20.04 and debian-11

diff --git a/.github/workflows/ci-deb.yml b/.github/workflows/ci-deb.yml
index adf8cbac7749a8e80c687c87cf9661b2783e7fd6..d0ddf26c6e2a6c48dac1bc77aa4f6cebce337429 100644 (file)
--- a/.github/workflows/ci-deb.yml
+++ b/.github/workflows/ci-deb.yml
@@ -35,10 +35,8 @@ jobs:
           M=$(cat <<EOF
           {
             "env": [
-              { "NAME": "ubuntu-20.04", "OS": "ubuntu:20.04"    },
               { "NAME": "ubuntu-22.04", "OS": "ubuntu:22.04"    },
               { "NAME": "ubuntu-24.04", "OS": "ubuntu:24.04"    },
-              { "NAME": "debian-11",    "OS": "debian:bullseye" },
               { "NAME": "debian-12",    "OS": "debian:bookworm" },
               { "NAME": "debian-sid",   "OS": "debian:sid"      }
             ]
@@ -49,7 +47,7 @@ jobs:
           M=$(cat <<EOF
           {
             "env": [
-              { "NAME": "debian-11",    "OS": "debian:bullseye" }
+              { "NAME": "debian-12",    "OS": "debian:bookworm" }
             ]
           }
         EOF