(Temporarily) remove java tests from travis
I don't have time to actively maintain the java backend, and the
Nat->BigInt optimisation has broken it. I'll put the tests back when
this is fixed.
commit8ae2240c996094485a5a3eaef9547807d9f74456
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 14 Sep 2013, 13:46 (13 years ago)
parent8000794
.travis.yml−1
@@ -13,5 +13,4 @@ script:
1313 - cabal configure
1414 - cabal install
1515 - make test
16− - make test_java
1716