remove obsolete

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

scripts/nightly-macos.yaml

@@ -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
-
-
-
-

scripts/nightly-ubuntu.yaml

@@ -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
-
-
-
-

scripts/nightly-windows.yaml

@@ -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
-
-
-
-