tree e6b28a531ba221db05ff051d5a7246b4d29b236d
parent 0370c1710537064c66fbb919c0924a5596bd160c
author Gilles Peskine <Gilles.Peskine@arm.com> 1611089946 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611140604 +0100

Run mypy on Travis

`tests/scripts/all.sh check_python_files` now runs mypy (in addition
to pylint) if it's available. So install mypy.

Install mypy 0.780, which is the earliest version that works on our
code at this time.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>