update stage name

Z3Prover · Feb 7, 2023 · c1cadd3 · c1cadd3
1 parent a723102
commit c1cadd3
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
-    displayName: "Ubuntu build"
+  - job: Ubuntu-20
+    displayName: "Ubuntu-20 build"
     pool:
       vmImage: "ubuntu-20.04"
     steps: