https://gitweb.dealii.org/ - dealii.git/commit

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

author	Timo Heister <timo.heister@gmail.com>
	Mon, 25 Aug 2014 14:08:35 +0000 (10:08 -0400)
committer	Timo Heister <timo.heister@gmail.com>
	Mon, 25 Aug 2014 14:08:35 +0000 (10:08 -0400)
commit	7453b790429fb990cd30427bd723662303e0c418
tree	bf81ff77fb50cded435b03c9f14eb4e5650823c0	tree \| snapshot
parent	7aaf1de7392c4c744727be5c701e647eddfbdaa5	commit \| diff
parent	8d8d1f984e9b058da00aa00ca65d9094fc726158	commit \| diff