How the build automation works

Bash scripts

See the bash scripts in the .ci subdirectory.

They are called by Travis jobs which definition can be found in .travis.yml.