1# Declare python as our language. This way we get our chosen Python version,
2# and pip is available. Gcc and clang are available anyway.
3dist: jammy
4os: linux
5language: python
6python: 3.10
7
8cache: ccache
9
10branches:
11  only:
12    coverity_scan
13
14install:
15  - $PYTHON scripts/min_requirements.py
16
17env:
18  global:
19    - SEED=1
20    - secure: "GF/Fde5fkm15T/RNykrjrPV5Uh1KJ70cP308igL6Xkk3eJmqkkmWCe9JqRH12J3TeWw2fu9PYPHt6iFSg6jasgqysfUyg+W03knRT5QNn3h5eHgt36cQJiJr6t3whPrRaiM6U9omE0evm+c0cAwlkA3GGSMw8Z+na4EnKI6OFCo="
21addons:
22  coverity_scan:
23    project:
24      name: "ARMmbed/mbedtls"
25    notification_email: support-mbedtls@arm.com
26    build_command_prepend:
27    build_command: make
28    branch_pattern: coverity_scan
29