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