mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

And some includes now.

Browse source
This commit is contained in:
Everett Maus 2019-08-08 21:00:39 -07:00
parent 1ff11b36bd
commit d01aa01ec9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
azure-pipelines.yml
View file

@ -72,7 +72,7 @@ jobs:
# cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)' # cmdLine: '$(asanEnv) cmake $(cmakeStdArgs)'
# runUnitTest: 'False' # runUnitTest: 'False'
steps: steps:
- script: sudo apt-get install ninja-build - script: sudo apt-get install ninja-build libc++-dev libc++abi-dev
- script: ./scripts/build_libcxx_msan.sh - script: ./scripts/build_libcxx_msan.sh
- script: | - script: |
set -e set -e