Remove gitpod docker image build

Author: tobiasdiez

.github/workflows/tox.yml

@@ -38,7 +38,7 @@ jobs:
       fail-fast: false
       max-parallel: 20
       matrix:
-        tox_system_factor: [gitpod, ubuntu-trusty, ubuntu-xenial, ubuntu-bionic, ubuntu-focal, ubuntu-hirsute, ubuntu-impish, ubuntu-jammy,  debian-stretch, debian-buster, debian-bullseye, debian-bookworm, debian-sid, linuxmint-17, linuxmint-18, linuxmint-19, linuxmint-19.3, linuxmint-20.1, linuxmint-20.2, linuxmint-20.3, fedora-26, fedora-27, fedora-28, fedora-29, fedora-30, fedora-31, fedora-32, fedora-33, fedora-34, fedora-35, fedora-36, centos-7, centos-stream-8, gentoo-python3.9, gentoo-python3.10, archlinux-latest, opensuse-15.3, opensuse-tumbleweed, slackware-14.2, conda-forge, ubuntu-bionic-i386, manylinux-2_24-i686, debian-buster-i386, centos-7-i386]
+        tox_system_factor: [ubuntu-trusty, ubuntu-xenial, ubuntu-bionic, ubuntu-focal, ubuntu-hirsute, ubuntu-impish, ubuntu-jammy,  debian-stretch, debian-buster, debian-bullseye, debian-bookworm, debian-sid, linuxmint-17, linuxmint-18, linuxmint-19, linuxmint-19.3, linuxmint-20.1, linuxmint-20.2, linuxmint-20.3, fedora-26, fedora-27, fedora-28, fedora-29, fedora-30, fedora-31, fedora-32, fedora-33, fedora-34, fedora-35, fedora-36, centos-7, centos-stream-8, gentoo-python3.9, gentoo-python3.10, archlinux-latest, opensuse-15.3, opensuse-tumbleweed, slackware-14.2, conda-forge, ubuntu-bionic-i386, manylinux-2_24-i686, debian-buster-i386, centos-7-i386]
         tox_packages_factor: [minimal, standard]
     env:
       TOX_ENV: docker-${{ matrix.tox_system_factor }}-${{ matrix.tox_packages_factor }}

tox.ini

@@ -438,22 +438,6 @@ setenv =
     ubuntu-bionic-nvidia-cuda:      BASE_TAG=ubuntu18.04
     ubuntu-xenial-nvidia-cuda:      BASE_TAG=ubuntu16.04
     #
-    # https://hub.docker.com/r/gitpod/
-    #
-    gitpod:           SYSTEM=debian
-    gitpod:             BASE_IMAGE=gitpod/workspace-base
-    gitpod-full:        BASE_IMAGE=gitpod/workspace-full
-    gitpod:               CONFIG_CONFIGURE_ARGS_ROOT=--prefix=/home/gitpod/sage-local --with-sage-venv
-    gitpod:                 __SUDO=--sudo
-    gitpod:                   __CHOWN=--chown=gitpod:gitpod
-                                # Play safe and make sure that the image build succeeds even
-                                # if packages that do not exist on ubuntu-focal are added to debian.txt
-    gitpod:                     IGNORE_MISSING_SYSTEM_PACKAGES=yes
-                                  # As of 2022-01, gitpod/workspace-base is based on ubuntu-focal.
-                                  # To save space, we filter out some packages that are too old and
-                                  # will be rejected by our configure script.
-    gitpod-standard:              SAGE_PACKAGE_LIST_ARGS=--has-file=spkg-configure.m4 :standard: --exclude pari --exclude eclib --exclude lcalc --exclude giac --exclude singular
-    #
     # Resulting full image:tag name
     #
     docker:           FULL_BASE_IMAGE_AND_TAG={env:ARCH_IMAGE_PREFIX:}{env:BASE_IMAGE}{env:ARCH_IMAGE_SUFFIX:}:{env:ARCH_TAG_PREFIX:}{env:BASE_TAG}{env:ARCH_TAG_SUFFIX:}