git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1457 from david-christiansen/issue/1442
946c0daDavid 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"