(from #30876)

see https://askubuntu.com/a/1149383/309919

To test:

• https://launchpad.net/~ubuntu-toolchain-r/+archive/ubuntu/test?field.series_filter=trusty:

  tox -e docker-ubuntu-trusty-standard-toolchain-gcc_9
  

• https://launchpad.net/~ubuntu-toolchain-r/+archive/ubuntu/test?field.series_filter=xenial

  tox -e docker-ubuntu-xenial-standard-toolchain-gcc_9
  

• https://launchpad.net/~ubuntu-toolchain-r/+archive/ubuntu/test?field.series_filter=bionic

  tox -e docker-ubuntu-bionic-standard-toolchain-gcc_9
  tox -e docker-ubuntu-bionic-standard-toolchain-gcc_10
  tox -e docker-ubuntu-bionic-standard-toolchain-gcc_11
  

• https://launchpad.net/~ubuntu-toolchain-r/+archive/ubuntu/test?field.series_filter=jammy

  tox -e docker-ubuntu-jammy-standard-toolchain-gcc_12
  

NB: Your Docker should have enough RAM allowed (I'd advice 8GB). In Docker Desktop this setting is in Preferences->Resources -> Advanced.

Depends on #33187
Depends on #33103

CC: @dimpase @tobiasdiez

Component: porting

Author: Matthias Koeppe

Branch/Commit: d42bc03

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/32966