Properly factor cabal workflow
commit692b45475a68acd031a736b7da4e82ba82495a67
authorBenjamin Saunders <besaunde@sfu.ca>
dateMon 7 Oct 2013, 12:02 (13 years ago)
parent8a43c18
.travis.yml+2−1
@@ -10,6 +10,7 @@ before_script:
1010 - cd idris*
1111script:
1212 - cabal configure
13− - cabal install
13+ - cabal build
14+ - cabal copy
1415 - make test
1516