diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2016-09-13 22:22:42 +0100 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2016-09-16 11:05:54 +0100 |
| commit | c0d84ab48977f6ea80e8b5f7eca04423d4a31d26 (patch) | |
| tree | aaf14933f110d7a114435a62d5a291fd44f1c739 /docs | |
| parent | d1f16e27b8cc543f79e326713b6d40fce5c82acf (diff) | |
Remove format-source from travis script.
This test is already performed by `make test` later on. We originally
had it in the Travis script to make it fail fast when the format is
wrong, but there is also some value in running all tests despite format
errors.
Fixes #83. There are no more relevant phases that would benefit from the
padding lines proposed.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions