Remove failing 'ubuntu-focal' from default CI platforms

tobiasdiez · tobiasdiez · commit 3c6853b7c9e2 · 2025-08-24T18:53:41.000+08:00
It's failing since a couple of months, tracked at sagemath#40305. Moreover, ubuntu-focal has reached the end of its standard five-year support window on 31 May 2025.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -18,7 +18,6 @@ on:
         # 'tox -e update_docker_platforms' updates below
         default: >-
           [
-           "ubuntu-focal",
            "ubuntu-jammy",
            "ubuntu-noble",
            "debian-bullseye",

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,6 @@ on:`
`18`	`18`	`# 'tox -e update_docker_platforms' updates below`
`19`	`19`	`default: >-`
`20`	`20`	`[`
`21`		`- "ubuntu-focal",`
`22`	`21`	`"ubuntu-jammy",`
`23`	`22`	`"ubuntu-noble",`
`24`	`23`	`"debian-bullseye",`