From 9f1893bbc09317daea6d620c17e763f6c2f8a5c4 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Fri, 8 Apr 2016 09:41:03 +0200
Subject: [PATCH] make larabot test Isabelle
---
.larabot.conf | 1 +
1 file changed, 1 insertion(+)
diff --git a/.larabot.conf b/.larabot.conf
index 4f84df1cf..099fbc1f0 100644
--- a/.larabot.conf
+++ b/.larabot.conf
@@ -3,6 +3,7 @@ commands = [
"sbt -batch -Dparallel=10 integration:test"
"sbt -batch -Dparallel=10 regression:test"
"sbt -batch -Dparallel=10 genc:test"
+ "sbt -batch -Dparallel=10 isabelle:test"
]
trusted = [
--
GitLab