# Declare python as our language. This way we get our chosen Python version,
# and pip is available. Gcc and clang are available anyway.
dist: jammy
os: linux
language: python
python: 3.10

cache: ccache

branches:
  only:
    coverity_scan

install:
  - $PYTHON scripts/min_requirements.py

env:
  global:
    - SEED=1
    - secure: "GF/Fde5fkm15T/RNykrjrPV5Uh1KJ70cP308igL6Xkk3eJmqkkmWCe9JqRH12J3TeWw2fu9PYPHt6iFSg6jasgqysfUyg+W03knRT5QNn3h5eHgt36cQJiJr6t3whPrRaiM6U9omE0evm+c0cAwlkA3GGSMw8Z+na4EnKI6OFCo="
addons:
  coverity_scan:
    project:
      name: "ARMmbed/mbedtls"
    notification_email: [email protected]
    build_command_prepend:
    build_command: make
    branch_pattern: coverity_scan