mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
update stage name
This commit is contained in:
parent
a7231027c3
commit
c1cadd37cc
|
@ -35,8 +35,8 @@ stages:
|
|||
artifactName: 'MacArm64'
|
||||
targetPath: $(Build.ArtifactStagingDirectory)
|
||||
|
||||
- job: Ubuntu
|
||||
displayName: "Ubuntu build"
|
||||
- job: Ubuntu-20
|
||||
displayName: "Ubuntu-20 build"
|
||||
pool:
|
||||
vmImage: "ubuntu-20.04"
|
||||
steps:
|
||||
|
|
Loading…
Reference in a new issue