From 5ce3c18fd04cffe135d1b30bda95fec9cb19b926 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Dec 2020 16:59:07 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 68 ++++++++++++++++++++++----------------------
 1 file changed, 34 insertions(+), 34 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 627bc5ca8..55419b33e 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -122,40 +122,40 @@ jobs:
        cd scripts 
        python mk_nuget_task.py ../tmp $(z3Version) $(Build.SourceVersion)
        cd ..
-    - task: PythonScript@0
-      displayName: 'Python: assemble files'
-      inputs:
-        scriptSource: 'filepath'
-        scriptPath: scripts\mk_nuget_task.py
-        workingDirectory: $(Agent.TempDirectory)\package
-        arguments:
-          $(Agent.TempDirectory)\package
-          $(ReleaseVersion)
-          $(Build.Repository.Uri)
-          $(Build.SourceBranchName)
-          $(Build.SourceVersion)
-          $(Build.SourcesDirectory)
-    - task: NuGetToolInstaller@0
-      inputs:
-        versionSpec: 5.x
-        checkLatest: false
-    - task: NugetCommand@2
-      displayName: 'NuGet Pack'
-      inputs:
-        command: pack
-        packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
-        basePath: $(Agent.TempDirectory)\package\out
-        packDestination: $(Build.ArtifactStagingDirectory)
-        verbosityPack: detailed
-    - task: NugetCommand@2
-      displayName: 'NuGet Pack Symbols'
-      inputs:
-        command: pack
-        packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
-        basePath: $(Agent.TempDirectory)\package\out
-        packDestination: $(Build.ArtifactStagingDirectory)
-        verbosityPack: detailed
-        includeSymbols: true
+  - task: PythonScript@0
+    displayName: 'Python: assemble files'
+    inputs:
+      scriptSource: 'filepath'
+      scriptPath: scripts\mk_nuget_task.py
+      workingDirectory: $(Agent.TempDirectory)\package
+      arguments:
+        $(Agent.TempDirectory)\package
+        $(ReleaseVersion)
+        $(Build.Repository.Uri)
+        $(Build.SourceBranchName)
+        $(Build.SourceVersion)
+        $(Build.SourcesDirectory)
+  - task: NuGetToolInstaller@0
+    inputs:
+      versionSpec: 5.x
+      checkLatest: false
+  - task: NugetCommand@2
+    displayName: 'NuGet Pack'
+    inputs:
+      command: pack
+      packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
+      basePath: $(Agent.TempDirectory)\package\out
+      packDestination: $(Build.ArtifactStagingDirectory)
+      verbosityPack: detailed
+  - task: NugetCommand@2
+    displayName: 'NuGet Pack Symbols'
+    inputs:
+      command: pack
+      packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
+      basePath: $(Agent.TempDirectory)\package\out
+      packDestination: $(Build.ArtifactStagingDirectory)
+      verbosityPack: detailed
+      includeSymbols: true
 
 # Not available as a task?
 #  - script: |