mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

nightly

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-13 18:46:20 -08:00
parent 995b40865b
commit c20b8cb978
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
scripts/nightly.yaml
View file

@ -233,13 +233,13 @@ stages:
symbolServerType: TeamServices symbolServerType: TeamServices
detailedLog: true detailedLog: true
- job: "WindowsArm64" - job: "WindowsArm64"
displayName: "Windows" displayName: "Windows"
pool: pool:
vmImage: "windows-latest" vmImage: "windows-latest"
variables: variables:
arch: "amd64_arm64" arch: "amd64_arm64"
steps: steps:
- script: md build - script: md build
- script: | - script: |
cd build cd build