git.iko.soy/Idris-dev
on master help sign in
(Temporarily) remove java tests from travis
8ae2240Edwin 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