From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 25 Aug 2014 14:08:35 +0000 (-0400)
Subject: Merge pull request #117 from luca-heltai/travis_ci_indent_check
X-Git-Tag: v8.2.0-rc1~176
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7453b790429fb990cd30427bd723662303e0c418;p=dealii.git

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.
---

7453b790429fb990cd30427bd723662303e0c418