Skip to content

Commit

Permalink
update release script
Browse files Browse the repository at this point in the history
Signed-off-by: Nikolaj Bjorner <[email protected]>
  • Loading branch information
NikolajBjorner committed Jan 18, 2023
1 parent fcc1bb5 commit 3012293
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ stages:
- job: MacBuild
displayName: "macOS Build"
pool:
vmImage: "macOS-latest"
vmImage: "macOS-11"
steps:
- task: PythonScript@0
displayName: Build
Expand Down Expand Up @@ -46,7 +46,7 @@ stages:
- job: MacBuildArm64
displayName: "macOS ARM64 Build"
pool:
vmImage: "macOS-latest"
vmImage: "macOS-11"
steps:
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --os=osx-11.0
- script: git clone https://github.com/z3prover/z3test z3test
Expand Down

0 comments on commit 3012293

Please sign in to comment.