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