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
c1cadd37cc
commit
f3ae7692ca
|
@ -35,8 +35,8 @@ stages:
|
|||
artifactName: 'MacArm64'
|
||||
targetPath: $(Build.ArtifactStagingDirectory)
|
||||
|
||||
- job: Ubuntu-20
|
||||
displayName: "Ubuntu-20 build"
|
||||
- job: Ubuntu20
|
||||
displayName: "Ubuntu20 build"
|
||||
pool:
|
||||
vmImage: "ubuntu-20.04"
|
||||
steps:
|
||||
|
|
Loading…
Reference in a new issue