[zanata/zanata-platform] 02811d: chore(Jenkinsfile): compare PR coverage (#356)

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/zanata/zanata-platform
  Commit: 02811d4c35810cff4970892ff60f5c3f5d5eb46f
      https://github.com/zanata/zanata-platform/commit/02811d4c35810cff4970892ff60f5c3f5d5eb46f
  Author: Sean Flanigan <sflaniga at redhat.com>
  Date:   2017-06-02 (Fri, 02 Jun 2017)

  Changed paths:
    M Jenkinsfile

  Log Message:
  -----------
  chore(Jenkinsfile): compare PR coverage (#356)

https://github.com/jenkinsci/github-pr-coverage-status-plugin