update nightly runner

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 21, 2019 · 928e08f · 928e08f
1 parent af442cf
commit 928e08f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ..