update nightly runner

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/nightly.yaml

@@ -88,7 +88,7 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - script |
+  - script: |
        cd scripts 
        python mk_nuget_task.py ../tmp
        cd ..