Merge pull request #32 from henrydcase/arm_stop_sanitizers

arm: temporarily disable sanitizers
This commit is contained in:
Thom Wiggers 2019-02-15 10:46:18 +01:00 committed by GitHub
commit b2399f1eba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -59,7 +59,7 @@ matrix:
os: linux os: linux
services: docker services: docker
env: env:
- MAKETARGET="run-functest-all run-testvectors-all run-sanitizer-all" - MAKETARGET="run-functest-all run-testvectors-all"
script: script:
- docker run --rm --privileged multiarch/qemu-user-static:register --reset - docker run --rm --privileged multiarch/qemu-user-static:register --reset
- docker run --rm -v `pwd`:`pwd` -w `pwd` "pqclean/debian-buster-arm" /bin/bash -c "uname -a && - docker run --rm -v `pwd`:`pwd` -w `pwd` "pqclean/debian-buster-arm" /bin/bash -c "uname -a &&
@ -68,7 +68,7 @@ matrix:
os: linux os: linux
services: docker services: docker
env: env:
- MAKETARGET="run-functest-all run-testvectors-all run-sanitizer-all" - MAKETARGET="run-functest-all run-testvectors-all"
script: script:
- docker run --rm --privileged multiarch/qemu-user-static:register --reset - docker run --rm --privileged multiarch/qemu-user-static:register --reset
- docker run --rm -v `pwd`:`pwd` -w `pwd` "pqclean/debian-buster-aarch64" /bin/bash -c "uname -a && - docker run --rm -v `pwd`:`pwd` -w `pwd` "pqclean/debian-buster-aarch64" /bin/bash -c "uname -a &&