Admin/jenkins/build/ci_build_benchmark.scala
Fri, 09 Jul 2021 08:48:34 +0200 Fabian Huch jenkins: add pre/post-hook results for benchmark
Thu, 04 Oct 2018 13:08:13 +0200 Lars Hupel Jenkins: tuned profiles
Fri, 07 Apr 2017 10:47:25 +0200 wenzelm explicit Sessions.Selection;
Thu, 06 Apr 2017 22:04:30 +0200 wenzelm clarified signature: tree structure is not essential;
Fri, 16 Sep 2016 16:49:13 +0200 Lars Hupel benchmark doesn't need to build documents
Fri, 16 Sep 2016 16:48:59 +0200 Lars Hupel benchmark profile runs on small worker now (6 cores)
Fri, 16 Sep 2016 15:56:56 +0200 wenzelm serious measurements require jobs = 1;
Fri, 16 Sep 2016 15:54:50 +0200 wenzelm sessions that are relevant for routine timing measurements;
Wed, 06 Jul 2016 13:45:52 +0200 Lars Hupel simplify build scripts
Mon, 04 Jul 2016 18:20:51 +0200 Lars Hupel tuned
Wed, 22 Jun 2016 16:47:55 +0200 Lars Hupel adjust job/thread count for new hardware
Sun, 19 Jun 2016 17:40:51 +0200 Lars Hupel benchmark build profile
less more (0) tip