purescript / purescript / 3128 / 1

Ran 26 Sep 2015 06:34PM UTC

Files 76

Run time 2s

Badge

Committed 26 Sep 2015 06:28PM UTC coverage: 81.613%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #1489 from zudov/psci-ctrl-d-exit

Ghci-like handling of Ctrl-C, Ctrl-D in psci

Coverage Stats

4594 of 5629 relevant lines covered (81.61%)

1.51 hits per line