--- a/Admin/jenkins/build/ci_build_benchmark.scala Thu Jul 08 22:58:48 2021 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala Fri Jul 09 08:48:34 2021 +0200
@@ -9,8 +9,8 @@
def include = Nil
def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
- def pre_hook(args: List[String]) = {}
- def post_hook(results: Build.Results) = {}
+ def pre_hook(args: List[String]) = Result.ok
+ def post_hook(results: Build.Results) = Result.ok
def selection = Sessions.Selection(session_groups = List("timing"))