exercism / idris

Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32 stars 18 forks source link

Call configlet subcommand on CI #27

Closed kytrinyx closed 7 years ago

kytrinyx commented 7 years ago

This changes configlet to pass a subcommand.

For now, we've released a version of configlet which handles both the old command:

configlet path/to/track

as well as the new command:

configlet lint path/to/track

This will let us update all the travis files to include the subcommand before we release the version of configlet that requires the subcommand.

https://github.com/exercism/configlet/pull/23