tracks/idris/.travis.yml in trackler-2.2.1.100 vs tracks/idris/.travis.yml in trackler-2.2.1.101
- old
+ new
@@ -17,9 +17,10 @@
- bin/fetch-configlet
- bin/fetch-stack.sh
- bin/fetch-exercism-infra.sh
- stack --resolver $RESOLVER setup
- "[[ $(which idris) != '' ]] || travis_wait 60 stack --resolver $RESOLVER install idris"
+ - bin/fetch-idris-testing.sh
script:
- - bin/configlet .
- - bin/solve_exercises.sh
\ No newline at end of file
+ - bin/configlet lint .
+ - bin/solve_exercises.sh