mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
add back legacy build-win-signed
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9db834c223
commit
485a018c59
|
@ -209,7 +209,7 @@ stages:
|
|||
ReleaseVersion: $(ReleaseVersion)
|
||||
BuildArchitecture: 'x86'
|
||||
|
||||
- template: build-win-signed.yml
|
||||
- template: build-win-signed-cmake.yml
|
||||
parameters:
|
||||
ReleaseVersion: $(ReleaseVersion)
|
||||
BuildArchitecture: 'arm64'
|
||||
|
|
Loading…
Reference in a new issue