diff --git a/.larabot.conf b/.larabot.conf
index 4f84df1cfdc62750edb7122030615723a91dbca0..099fbc1f0c95f19110ca96cae8dfa77370cadfa6 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 = [