Skip to content

Use Ubuntu 20.04 as docker

Schrödter, Tobias requested to merge fix-docker into master

Need to switch back to Ubuntu 20.04 as 20.10 is no longer supported and couldn't be built anymore.

Merge request reports