mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00
Code Activity

CI: fail if any command fails

Browse source
This commit is contained in:
Nuno Lopes 2019-06-12 11:25:10 +01:00
parent 328b182994
commit 514d52a84f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
azure-pipelines.yml
View file

@ -19,6 +19,7 @@ jobs:
steps:
- script: $(cmdLine)
- script: |
set -e
cd build
make -j3
make -j3 examples
@ -62,6 +63,7 @@ jobs:
steps:
- script: sudo apt-get install ninja-build
- script: |
set -e
mkdir build
cd build
$(cmdLine)
@ -104,6 +106,7 @@ jobs:
steps:
- script: python scripts/mk_make.py -d --java --dotnet
- script: |
set -e
cd build
make -j3
make -j3 examples
@ -123,6 +126,7 @@ jobs:
steps:
- script: brew install ninja
- script: |
set -e
mkdir build
cd build
CC=clang CXX=clang++ cmake $(cmakeStdArgs)