From d94244b23637e9323dcb054da8839143e3d4dc80 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Dec 2020 13:59:17 -0800 Subject: [PATCH] shutil.remove -> os.remove Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index df080275b..0f32ebef4 100644 --- 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: