Github user zjffdu commented on the issue:
https://github.com/apache/zeppelin/pull/2700
It is awsome if there's such button. But I don't know how to make such
button. BTW usually I would force push a dummy commit to trigger the build. And
I believe we should also fix these flaky test which cause inconvenience for
developers. ---
