Add Lean test command to test configurations#1224

glennj merged 1 commit intoexercism:mainexercism/cli:mainfrom

tim-br:patch-1tim-br/cli:patch-1Copy head branch name to clipboard