GitHub user zentol opened a pull request:

    [FLINK-9131][travis] Disable spotbugs plugin

    ## What is the purpose of the change
    This PR disables spotbugs on travis. This will buy us 7-8 minutes in the 
misc profile that currently times out,

You can merge this pull request into a Git repository by running:

    $ git pull 9131

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #5815
commit 521462ad59dcfea7f12d2d3827846028154c8a80
Author: zentol <chesnay@...>
Date:   2018-04-04T14:43:14Z

    [FLINK-9131][travis] Disable spotbugs plugin



Reply via email to