From 8a129a3e6f85fa337eb7e55504ddf543828068dd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Jun 2019 21:23:52 -0700
Subject: [PATCH] try replace for nightly to address #2362

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index ebb402939..4144ff3ba 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -91,7 +91,7 @@ jobs:
       releaseNotesSource: 'input'
       releaseNotes: 'nightly build'
       assets: 'tmp/*'
-#     assetUploadMode: 'replace'
+      assetUploadMode: 'replace'
       isDraft: false
       isPreRelease: true