git.iko.soy/Idris-dev
on master help sign in
Properly factor cabal workflow
692b454Benjamin Saunders
.travis.yml+2−1
compare with master
unifiedsplit
@@ -10,6 +10,7 @@ before_script:
10 - cd idris*
10 - cd idris*
11script:
11script:
12 - cabal configure
12 - cabal configure
13− - cabal install
13+ - cabal build
14+ - cabal copy
14 - make test
15 - make test
15
16