tracks/idris/.travis.yml in trackler-2.2.1.73 vs tracks/idris/.travis.yml in trackler-2.2.1.74
- old
+ new
@@ -1,5 +1,25 @@
-language: bash
+language: haskell
-script:
+env:
+ global:
+ - RESOLVER=lts-8.17
+
+cache:
+ bundler: true
+ directories:
+ - $HOME/.local
+ - $HOME/.stack
+ - $HOME/.cabal
+
+install:
+ - rvm install 2.2.5
+ - rvm use 2.2.5
- bin/fetch-configlet
- - bin/configlet lint .
+ - bin/fetch-stack.sh
+ - bin/fetch-exercism-infra.sh
+ - stack --resolver $RESOLVER setup
+ - "[[ $(which idris) != '' ]] || travis_wait 60 stack --resolver $RESOLVER install idris"
+
+script:
+ - bin/configlet .
+ - bin/solve_exercises.sh
\ No newline at end of file