purescript / purescript / 2792 / 1

Ran 10 Aug 2015 05:35PM UTC

Files 72

Run time 2s

Badge

Committed 10 Aug 2015 05:17PM UTC coverage: 84.375%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #1356 from purescript/lint

Don't lint modules if they won't be rebuilt, close #1328

Coverage Stats

4482 of 5312 relevant lines covered (84.38%)

1.56 hits per line