dealii/dealii — pull request #117 by luca-heltai (2014-08-25 14:05:23+00:00)
Title: Only test indentation on pull requests.

This closes issue #89, where we discussed about possibly testing with Travis CI the indentation of the pull request.

Since most of the pull requests are failing anyway on Travis (time limit for a pull request is 25 minutes, and we hit it pretty regularly), this pull request configures Travis CI to only check indentation in pull requests, and do the full build only when the pull request is merged on master.