Temporarily remove failing tests

The larabot is apparently running these two removed tests under JDK8 while Stainless and its dependencies are compiled against JDK17
epfl-lara · Nov 13, 2022 · 43fdd2e · 43fdd2e
1 parent 16c40a8
commit 43fdd2e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.larabot.conf b/.larabot.conf
@@ -12,8 +12,6 @@ nightly {
     "bash bin/external-tests.sh --only-dotty"
     "sbt -batch scripted"
     "bash bin/build-slc-lib.sh"
-    "bash -c \"frontends/scalac/target/universal/stage/bin/stainless-scalac --coq frontends/benchmarks/coq/*.scala\""
-    "bash -c \"frontends/dotty/target/universal/stage/bin/stainless-dotty --coq frontends/benchmarks/coq/*.scala\""
   ]
 }