Pro tip: go to http://cms.di.unipi.it/jenkins/ to see the functional tests for your pull request.