Skip to content

gitlab-ci: Actually build the v2020 release

When introducing the gitlab-ci pipeline the target release was erroneously left pointing to v2021dev2.

Merge request reports