3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00

Update azure-pipelines.yml for Azure Pipelines

This commit is contained in:
Nikolaj Bjorner 2019-06-06 22:20:21 +02:00
parent 82da3493ee
commit 51cca37a3c

View file

@ -28,6 +28,7 @@ jobs:
pool:
vmImage: "Ubuntu-16.04"
steps:
- script: sudo apt-get install ninja-build
- script: |
mkdir build
cd build