Removed Debian 11 and Ubuntu 20.04 from supported platforms

moves-rwth · Aug 23, 2024 · 32ed0dd · 32ed0dd
1 parent 74b3188
commit 32ed0dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
@@ -174,7 +174,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        distro: ["debian-11", "debian-12", "ubuntu-20.04", "ubuntu-22.04", "ubuntu-24.04"]
+        distro: ["debian-12", "ubuntu-22.04", "ubuntu-24.04"]
         buildType: ["Release"]
     steps:
       - name: Git clone