From c1cadd37cc1284e22b15c50d24a76206bd0ea77e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Feb 2023 16:07:12 -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 dc7f923bae1..d8ff50b9274 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -35,8 +35,8 @@ stages:
         artifactName: 'MacArm64'
         targetPath: $(Build.ArtifactStagingDirectory)
 
-  - job: Ubuntu
-    displayName: "Ubuntu build"
+  - job: Ubuntu-20
+    displayName: "Ubuntu-20 build"
     pool:
       vmImage: "ubuntu-20.04"
     steps: