update stage name

Z3Prover · Feb 7, 2023 · f3ae769 · f3ae769
1 parent c1cadd3
commit f3ae769
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -35,8 +35,8 @@ stages:
         artifactName: 'MacArm64'
         targetPath: $(Build.ArtifactStagingDirectory)
 
-  - job: Ubuntu-20
-    displayName: "Ubuntu-20 build"
+  - job: Ubuntu20
+    displayName: "Ubuntu20 build"
     pool:
       vmImage: "ubuntu-20.04"
     steps: