Tue, 05 Jul 2016 10:26:23 +0200 | Lars Hupel | more accurate total timing | file | diff | annotate |
Mon, 04 Jul 2016 18:20:51 +0200 | Lars Hupel | tuned | file | diff | annotate |
Wed, 22 Jun 2016 19:01:26 +0200 | Lars Hupel | print statistics; tuned | file | diff | annotate |
Tue, 21 Jun 2016 10:53:43 +0200 | Lars Hupel | read Java system properties from ISABELLE_CI_PROPERTIES | file | diff | annotate |
Mon, 13 Jun 2016 08:33:29 +0200 | Lars Hupel | tuned | file | diff | annotate |
Sat, 11 Jun 2016 17:23:24 +0200 | Lars Hupel | start moving actual Jenkins build scripts into the repository | file | diff | annotate |