GitHub PR 作成時に Coverage を計測する