This is an old revision of the document!
Travis CI
We use Travis CI as our build server. Whenever we push code to the dev or master branches, or create a pull request, Travis CI will try to compile our software, and let us know if there are any issues.