Skip to content

Commit

Permalink
Add idris test configuration (#1152)
Browse files Browse the repository at this point in the history
isberg authored Aug 2, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 72e984f commit def312e
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions workspace/test_configurations.go
Original file line number Diff line number Diff line change
@@ -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}}"`,
},

0 comments on commit def312e

Please sign in to comment.