mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
it helps to spell
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9883a0b983
commit
2301fce65e
|
@ -33,7 +33,7 @@ stages:
|
|||
artifactName: 'Ubuntu'
|
||||
targetPath: $(Build.ArtifactStagingDirectory)
|
||||
|
||||
- job: UbuntoDoc
|
||||
- job: UbuntuDoc
|
||||
displayName: "Ubuntu Doc build"
|
||||
pool:
|
||||
vmImage: "Ubuntu-18.04"
|
||||
|
|
Loading…
Reference in a new issue