mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
Update nightly.yaml for Azure Pipelines
This commit is contained in:
parent
76a4bf5fa0
commit
359d66b579
|
@ -102,7 +102,6 @@ jobs:
|
|||
- Ubuntu
|
||||
- Windows32
|
||||
- Windows64
|
||||
- NuGet
|
||||
pool:
|
||||
vmImage: "windows-latest"
|
||||
steps:
|
||||
|
|
Loading…
Reference in a new issue