Ralph Lange 6206c2cdc3 jenkins: remove Micro-Benchmark builds

2017-10-06 16:32:15 +02:00

..

cloudbees_build

jenkins: remove Micro-Benchmark builds

2017-10-06 16:32:15 +02:00

cloudbees_doc

jenkins: fix logic for using NO_MICROBENCH as fallback

2016-07-19 23:40:58 +02:00