Merge remote-tracking branch 'origin/pr/2821' into development

* origin/pr/2821:
  Update notification e-mail address
  Remove blocked branches
  Update Coverity secure token
This commit is contained in:
Jaeden Amero 2019-09-23 17:29:07 +01:00
commit d1798b4f91

View File

@ -5,12 +5,6 @@ compiler:
sudo: false sudo: false
cache: ccache cache: ccache
# blocklist
branches:
except:
- development-psa
- coverity_scan
script: script:
- tests/scripts/recursion.pl library/*.c - tests/scripts/recursion.pl library/*.c
- tests/scripts/check-generated-files.sh - tests/scripts/check-generated-files.sh
@ -32,7 +26,7 @@ after_failure:
env: env:
global: global:
- SEED=1 - SEED=1
- secure: "barHldniAfXyoWOD/vcO+E6/Xm4fmcaUoC9BeKW+LwsHqlDMLvugaJnmLXkSpkbYhVL61Hzf3bo0KPJn88AFc5Rkf8oYHPjH4adMnVXkf3B9ghHCgznqHsAH3choo6tnPxaFgOwOYmLGb382nQxfE5lUdvnM/W/psQjWt66A1+k=" - secure: "FrI5d2s+ckckC17T66c8jm2jV6i2DkBPU5nyWzwbedjmEBeocREfQLd/x8yKpPzLDz7ghOvr+/GQvsPPn0dVkGlNzm3Q+hGHc/ujnASuUtGrcuMM+0ALnJ3k4rFr9xEvjJeWb4SmhJO5UCAZYvTItW4k7+bj9L+R6lt3TzQbXzg="
addons: addons:
apt: apt:
@ -42,7 +36,7 @@ addons:
coverity_scan: coverity_scan:
project: project:
name: "ARMmbed/mbedtls" name: "ARMmbed/mbedtls"
notification_email: simon.butcher@arm.com notification_email: support-mbedtls@arm.com
build_command_prepend: build_command_prepend:
build_command: make build_command: make
branch_pattern: coverity_scan branch_pattern: coverity_scan