language: bash script: dev/tests/run_travis_tests.sh