From 09b7a816fb25733e7adba12f8764f7f3e57560f6 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Tue, 16 Aug 2016 16:26:13 +0200
Subject: [PATCH] Larabot configuration

---
 .larabot.conf | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/.larabot.conf b/.larabot.conf
index 0458c9d97..48cd72ff5 100644
--- a/.larabot.conf
+++ b/.larabot.conf
@@ -1,10 +1,6 @@
 commands = [
-    "sbt -batch -Dparallel=10 test"
-    "sbt -batch -Dparallel=10 integration:test"
-    "sbt -batch -Dparallel=10 regression:test"
-    "sbt -batch -Dparallel=10 native:test"
-    "sbt -batch -Dparallel=10 genc:test"
-    "sbt -batch -Dparallel=10 isabelle:test"
+    "sbt -batch test"
+    "sbt -batch it:test"
 ]
 
 trusted = [
-- 
GitLab