[zanata/zanata-platform] f44458: chore(Jenkinsfile): compare PR coverage

[GitHub]

  Branch: refs/heads/pr-coverage-status
  Home:   https://github.com/zanata/zanata-platform
  Commit: f44458da13b7caf48adb232d8eab3c103e9ff138
      https://github.com/zanata/zanata-platform/commit/f44458da13b7caf48adb232d8eab3c103e9ff138
  Author: Sean Flanigan <sflaniga at redhat.com>
  Date:   2017-06-01 (Thu, 01 Jun 2017)

  Changed paths:
    M Jenkinsfile

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

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