diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2019-08-28 00:13:54 +0900 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2019-08-28 00:16:16 +0900 |
commit | dd032a5fb4dd8da59c685910b3c673439edc8c42 (patch) | |
tree | 4896d8febcdf20b794c39940acb66bbd0dcdf6e3 /lib/rdoc | |
parent | 9928a6a3670fff8c87d1def74c719987acae8cf0 (diff) |
Make doxygen / coverage torelant to clone race
a little.
Doing both `git clone --depth=1` and `git reset --hard ${sha}` does not
make sense (the latter command either does nothing or just fails), so I
added non-1 value as a depth.
Maybe we don't need depth=50 for pull_request and schedule, so it's 10
for now.
Diffstat (limited to 'lib/rdoc')
0 files changed, 0 insertions, 0 deletions