diff options
Diffstat (limited to 'semaphoreci.sh')
| -rwxr-xr-x | semaphoreci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/semaphoreci.sh b/semaphoreci.sh index 09f7aa7..f77ac75 100755 --- a/semaphoreci.sh +++ b/semaphoreci.sh @@ -18,6 +18,10 @@ test() { $STACK --no-terminal test --pedantic } +test_docs() { + $STACK --no-terminal ghc -- -Wall -fno-code docs/tutorial/tutorial.lhs +} + setup_lint() { $STACK --no-terminal install hlint } |
