From dc452b92e1d5929e932eded7bfc0e9b98b9e5907 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Jun 2019 20:11:00 -0700
Subject: [PATCH] update tag

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly-ubuntu.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml
index 06eec7b00..142e5cdf7 100644
--- a/scripts/nightly-ubuntu.yaml
+++ b/scripts/nightly-ubuntu.yaml
@@ -23,7 +23,7 @@ steps:
     action: 'create'
     target: '$(Build.SourceVersion)'
     tagSource: 'manual'
-    tag: 'Ubuntu$(Build.SourceVersion)'
+    tag: 'NightlyUbuntu'
     title: 'Nightly Ubuntu'
     releaseNotesSource: 'input'
     releaseNotes: 'nightly build'