From 928e08f28feca1059166a225dffb23e80b500cdc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Oct 2019 09:31:28 -0700
Subject: [PATCH] update nightly runner

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 b38397276..bf141b4fd 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -88,7 +88,7 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - script |
+  - script: |
        cd scripts 
        python mk_nuget_task.py ../tmp
        cd ..