summaryrefslogtreecommitdiff
path: root/semaphoreci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'semaphoreci.sh')
-rwxr-xr-xsemaphoreci.sh4
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
}