From 5dc1b1acd4dfb0b6db110251883853f4b1274b14 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 9 Oct 2024 13:01:27 -0700 Subject: [PATCH] remove hard-wired osx=11.0 Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- scripts/release.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 74768fbea..0cf37a11d 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -43,7 +43,7 @@ stages: pool: vmImage: "macOS-latest" steps: - - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --os=osx-11.0 + - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 - script: git clone https://github.com/z3prover/z3test z3test - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@1 diff --git a/scripts/release.yml b/scripts/release.yml index 308fcfff4..3b25ca084 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -48,7 +48,7 @@ stages: pool: vmImage: "macOS-latest" steps: - - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --os=osx-11.0 + - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 - script: git clone https://github.com/z3prover/z3test z3test - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@1