mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Recent failures of the Mbed OS target came from two independent issues: - some python packages started requiring Python>=2.7.10, and - the latest Intervaltree 3.0.0 release was released broken. This patch ensures a fresh python by 'lying' to the CI that this is a Python project (Python images on the CI come with a recent interpreter, not with the one shipped as default with the OS), and locks Intervaltree to a stable version. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu