[bench] Revert hardcoding of microbenchmarks to run-jenkins (#11787)
commit7a81ac67a2cf23a8b87e2e4366a9767dced3caa5
authorAlexander Kyte <alexmkyte@gmail.com>
Mon, 26 Nov 2018 20:38:15 +0000 (26 15:38 -0500)
committerLudovic Henry <luhenry@microsoft.com>
Mon, 26 Nov 2018 20:38:15 +0000 (26 12:38 -0800)
treee1e92b5c48c6033c79abf64bf04e3f00885bc753
parente15b8c53ffc24d2c0cc1438498c23c6461d0c6e0
[bench] Revert hardcoding of microbenchmarks to run-jenkins (#11787)
scripts/ci/run-jenkins.sh