PR でビルドに関係ないドキュメント等の更新の場合に CI ビルドが走らないようにする#919