Branch: refs/heads/master
Home: https://github.com/jenkinsci/github-pr-coverage-status-plugin
Commit: 6807d68a3499866bb2a2cc5faeefa6080ee79bfc
https://github.com/jenkinsci/github-pr-coverage-status-plugin/commit/6807d68a3499866bb2a2cc5faeefa6080ee79bfc
Author: terma <[email protected]>
Date: 2017-09-10 (Sun, 10 Sep 2017)
Changed paths:
M Jenkinsfile
Log Message:
-----------
Disable coverage as jenkins-ci doesn't have such plugin
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
