From def312e0b1512846e8d8b53d2e0e774b22b978a2 Mon Sep 17 00:00:00 2001
From: isberg <jonas.d.isberg@gmail.com>
Date: Fri, 2 Aug 2024 14:32:10 +0200
Subject: [PATCH] Add idris test configuration (#1152)

---
 workspace/test_configurations.go | 3 +++
 1 file changed, 3 insertions(+)

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}}"`,
 	},