diff --git a/.larabot.conf b/.larabot.conf index 0458c9d9727996ac3178f2126ae2ed33aa79240c..48cd72ff5e8dc093432981e5c54fb5f55d4c91ea 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 = [