git.iko.soy/Idris-dev
on master help sign in
Install in .travis.yml
commitca9d4352fa0acf755e3cdeb2ccfafbc71f0fbcbe authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 10 May 2013, 12:12 (13 years ago) parentc3b58d6
1 file changed+1−1
compare with master
unifiedsplit
.travis.yml+1−1
.travis.yml+1−1
@@ -1,3 +1,3 @@
11language: haskell
22script:
3− - cabal configure && cabal build && make test
3+ - cabal configure && cabal install && make test