shutil.remove -> os.remove

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 20, 2020 · d94244b · d94244b
1 parent 726853d
commit d94244b
Showing 1 changed file with 0 additions and 17 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -100,11 +100,6 @@ stages:
   jobs:
   - job: NuGet
     displayName: "NuGet packaging"
-    dependsOn:
-    - Mac
-    - Ubuntu
-    - Windows32
-    - Windows64
     pool:
       vmImage: "windows-latest"
     steps:
@@ -166,11 +161,6 @@ stages:
 
   - job: Python
     displayName: "Python packaging"
-    dependsOn:
-    - Manylinux
-    - Windows32
-    - Windows64
-    - Mac
     pool:
       vmImage: "ubuntu-latest"
     steps:
@@ -210,13 +200,6 @@ stages:
   jobs:
   - job: Deploy
     displayName: "Deploy into GitHub"
-    dependsOn: 
-    - Mac
-    - Ubuntu
-    - Windows32
-    - Windows64
-    - Python
-    - NuGet
     steps:
     - task: DownloadPipelineArtifact@0
       inputs: