CI: rename ubuntu20-04* jobs to ubuntu-20.04*

This is the naming scheme that the Docker images use.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2259147961a1f6787f94fbda429b54b7285b8f30..602f809a5c7a8b34fc0c276aae9b7dc05aedc73f 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -308,7 +308,7 @@ ubuntu-18.04-build:
     variables:
       IMAGE: ubuntu-18.04
 
-ubuntu20-04-debug-build:
+ubuntu-20.04-debug-build:
     <<: *deb_build_definition
     needs:
         - job: docker_build_ubuntu-20.04
@@ -323,7 +323,7 @@ ubuntu20-04-debug-build:
     variables:
       IMAGE: ubuntu-20.04
 
-ubuntu20-04-build:
+ubuntu-20.04-build:
     <<: *deb_build_definition
     needs:
         - job: docker_build_ubuntu-20.04
@@ -944,12 +944,12 @@ ubuntu-18.04-test:
     variables:
       IMAGE: ubuntu-18.04
 
-ubuntu20-04-test:
+ubuntu-20.04-test:
     <<: *linux_test_definition
     before_script:
         - export build_system="autotools"
     needs:
-        - job: "ubuntu20-04-build"
+        - job: "ubuntu-20.04-build"
           artifacts: true
     tags:
         - linux