]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #117 from luca-heltai/travis_ci_indent_check
authorTimo Heister <timo.heister@gmail.com>
Mon, 25 Aug 2014 14:08:35 +0000 (10:08 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 25 Aug 2014 14:08:35 +0000 (10:08 -0400)
commit7453b790429fb990cd30427bd723662303e0c418
treebf81ff77fb50cded435b03c9f14eb4e5650823c0
parent7aaf1de7392c4c744727be5c701e647eddfbdaa5
parent8d8d1f984e9b058da00aa00ca65d9094fc726158
Merge pull request #117 from luca-heltai/travis_ci_indent_check

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.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.