Fix Dockerfile
After bumping base image to ubuntu:22.04
the list of packages to install in the runner
section should have been updated in Docker/Dockerfile
. It was done for ci/ubuntu_22_04-base
, but overlooked for Docker/Dockerfile
. This commit corrects this.
TODO: Merge ci/ubuntu_22_04-base
and Docker/Dockerfile
, because they are almost equivalent.