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