From f3ae7692ca6bfe40f677245e8b98d127b709991d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Feb 2023 16:08:14 -0800
Subject: [PATCH] update stage name

---
 scripts/nightly.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index d8ff50b92..4aeb44b35 100644
--- 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: