message: ci: not publish coverage for PRs
diff: @@ -8,8 +8,8 @@ if [ "${CIRCLECI}" != "true" ]; then
  exit 0
  fi
  -# available for master builds and PRs from originating repository (not forks)
  -if [ -z "$CIRCLE_PULL_REQUEST" ]
  +# available for master builds
  +if [ -z "$CIRCLE_PR_NUMBER" ]
  then
  echo "Uploading coverage report..."
  