From b983ef98a9b3d55dde7f83db36d992949af99d93 Mon Sep 17 00:00:00 2001
From: isberg <jonas.d.isberg@gmail.com>
Date: Thu, 25 Jul 2024 11:02:16 +0200
Subject: [PATCH] Add idris test configuration

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