git.iko.soy/Idris-dev
on master help sign in
Add a Travis target for make lib_doc
4fde861David Raymond Christiansen
.travis.yml+1
compare with master
unifiedsplit
@@ -25,6 +25,7 @@ script:
25 - make -j2 $TESTS
25 - make -j2 $TESTS
26env:
26env:
27 - TESTS="doc"
27 - TESTS="doc"
28+ - TESTS="lib_doc"
28 - TESTS="test_c"
29 - TESTS="test_c"
29 - TESTS="test_llvm"
30 - TESTS="test_llvm"
30 - TESTS="test_js"
31 - TESTS="test_js"