User Tools


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.