FROM ubuntu:20.04 as base

# For the moment just working around a bug in github CI by
# creating a version of this image without a pre-defined entrypoint.
# https://forum.gitlab.com/t/custom-docker-image-fails-with-illegal-option-pipefail-in-the-gitlab-script/31359/5
