diff --git a/workspace/test_configurations.go b/workspace/test_configurations.go index 72b359edf..f5bb29019 100644 --- a/workspace/test_configurations.go +++ b/workspace/test_configurations.go @@ -145,6 +145,9 @@ var TestConfigurations = map[string]TestConfiguration{ "haskell": { Command: "stack test", }, + "idris": { + Command: "pack test `basename *.ipkg .ipkg`", + }, "j": { Command: `jconsole -js "exit echo unittest {{test_files}} [ load {{solution_files}}"`, },