Removed unsupported Ubuntu 20.04 and Debian 11

moves-rwth · Nov 15, 2024 · b35748f · b35748f
1 parent e0a4023
commit b35748f
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/basesystem.yml b/.github/workflows/basesystem.yml
@@ -17,8 +17,6 @@ jobs:
     strategy:
       matrix:
         image:
-          - {name: "ubuntu-20.04", baseImg: "ubuntu:20.04", file: "storm-basesystem/Dockerfile"}
-          - {name: "debian-11", baseImg: "debian:11", file: "storm-basesystem/Dockerfile"}
           - {name: "ubuntu-22.04", baseImg: "ubuntu:22.04", file: "storm-basesystem/Dockerfile"}
           - {name: "debian-12", baseImg: "debian:12", file: "storm-basesystem/Dockerfile"}
           - {name: "ubuntu-24.04", baseImg: "ubuntu:24.04", file: "storm-basesystem/Dockerfile"}
@@ -83,8 +81,6 @@ jobs:
       matrix:
         image:
           # Must be the same as above
-          - {name: "ubuntu-20.04"}
-          - {name: "debian-11"}
           - {name: "ubuntu-22.04"}
           - {name: "debian-12"}
           - {name: "ubuntu-24.04"}