Thu, 04 Oct 2018 15:06:09 +0200 |
Lars Hupel |
use correct hostname
|
file |
diff |
annotate
|
Thu, 04 Oct 2018 14:52:50 +0200 |
Lars Hupel |
Jenkins: detect machine; adjust job parameters accordingly
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 15:16:22 +0200 |
Lars Hupel |
support NUMA shuffling in CI
|
file |
diff |
annotate
|
Fri, 20 Apr 2018 11:41:09 +0200 |
wenzelm |
workaround for jdk-10.0.1;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 13:07:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
Mon, 27 Feb 2017 00:00:28 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:48:41 +0200 |
Lars Hupel |
Jenkins: build in system mode again
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 15:57:34 +0200 |
Lars Hupel |
Jenkins: configurable clean build
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 21:08:04 +0200 |
wenzelm |
clarified hg.id operation, with explicit tip as default;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 10:45:55 +0200 |
Lars Hupel |
Jenkins: don't build in system mode
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 11:48:53 +0200 |
wenzelm |
modernized;
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 09:38:20 +0200 |
wenzelm |
clarified files;
|
file |
diff |
annotate
| base
|