Fri, 16 Sep 2016 16:49:13 +0200 |
Lars Hupel |
benchmark doesn't need to build documents
|
file |
diff |
annotate
|
Sat, 13 Aug 2016 12:05:53 +0200 |
wenzelm |
more uniform output;
|
file |
diff |
annotate
|
Wed, 13 Jul 2016 21:00:03 +0200 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
Sun, 10 Jul 2016 22:05:18 +0200 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
Wed, 06 Jul 2016 13:45:52 +0200 |
Lars Hupel |
simplify build scripts
|
file |
diff |
annotate
|
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
|