From 549ccb190a2a367cddee20c8c9fd65c59e94817a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Jun 2019 20:44:25 -0700 Subject: [PATCH] remove obsolete Signed-off-by: Nikolaj Bjorner --- scripts/nightly-macos.yaml | 35 ----------------------------------- scripts/nightly-ubuntu.yaml | 35 ----------------------------------- scripts/nightly-windows.yaml | 35 ----------------------------------- 3 files changed, 105 deletions(-) delete mode 100644 scripts/nightly-macos.yaml delete mode 100644 scripts/nightly-ubuntu.yaml delete mode 100644 scripts/nightly-windows.yaml diff --git a/scripts/nightly-macos.yaml b/scripts/nightly-macos.yaml deleted file mode 100644 index 37b7169df..000000000 --- a/scripts/nightly-macos.yaml +++ /dev/null @@ -1,35 +0,0 @@ -pool: - vmImage: "macOS-10.14" - -steps: - -- task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - -- task: DownloadSecureFile@1 - inputs: - secureFile: 'z3.snk' - -- script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk - -- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - -- task: GitHubRelease@0 - inputs: - gitHubConnection: Z3GitHub - repositoryName: 'Z3Prover/z3' - action: 'edit' - target: '$(Build.SourceVersion)' - tagSource: 'manual' - tag: 'NightlyMacOs' - title: 'Nightly MacOs' - releaseNotesSource: 'input' - releaseNotes: 'nightly build' - isDraft: false - isPreRelease: true - - - - diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml deleted file mode 100644 index 53fbc4b70..000000000 --- a/scripts/nightly-ubuntu.yaml +++ /dev/null @@ -1,35 +0,0 @@ -pool: - vmImage: "ubuntu-16.04" - -steps: - -- task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - -- task: DownloadSecureFile@1 - inputs: - secureFile: 'z3.snk' - -- script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk - -- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - -- task: GitHubRelease@0 - inputs: - gitHubConnection: Z3GitHub - repositoryName: 'Z3Prover/z3' - action: 'edit' - target: '$(Build.SourceVersion)' - tagSource: 'manual' - tag: 'NightlyUbuntu' - title: 'Nightly Ubuntu' - releaseNotesSource: 'input' - releaseNotes: 'nightly build' - isDraft: false - isPreRelease: true - - - - diff --git a/scripts/nightly-windows.yaml b/scripts/nightly-windows.yaml deleted file mode 100644 index 21c4f9e14..000000000 --- a/scripts/nightly-windows.yaml +++ /dev/null @@ -1,35 +0,0 @@ -pool: - vmImage: "vs2017-win2016" - -steps: - -- task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 - -- task: DownloadSecureFile@1 - inputs: - secureFile: 'z3.snk' - -- script: scripts\mk_win_dist.cmd - -- script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y - -- task: GitHubRelease@0 - inputs: - gitHubConnection: Z3GitHub - repositoryName: 'Z3Prover/z3' - action: 'edit' - target: '$(Build.SourceVersion)' - tagSource: 'manual' - tag: 'NightlyWindows' - title: 'Nightly Windows' - releaseNotesSource: 'input' - releaseNotes: 'nightly build' - isDraft: false - isPreRelease: true - - - -