git.iko.soy/Idris-dev
on master help sign in
Temporarily remove java tests from .travis.yml
91d3649Edwin Brady
.travis.yml−1
compare with master
unifiedsplit
@@ -13,5 +13,4 @@ script:
13 - cabal configure
13 - cabal configure
14 - cabal install
14 - cabal install
15 - make test
15 - make test
16− - make test_java
17
16