]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7aaf1de 8d8d1f9)
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)
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.


Trivial merge
Mirror of the development repository for deal.II

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.