3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

Update release.yml for Azure Pipelines

This commit is contained in:
Nikolaj Bjorner 2021-07-13 15:24:19 +02:00
parent 82e477ac02
commit 75a5de99ca

View file

@ -107,7 +107,6 @@ stages:
inputs:
artifactName: 'UbuntuDoc'
targetPath: $(Build.ArtifactStagingDirectory)
- job: ManyLinuxBuild
displayName: "ManyLinux build"