4 commits

Author	SHA1	Message	Date
Kazuhiro NISHIYAMA	17c0ce3798	Remove GITHUB_SHA from jobs.<job_id>.steps.env ... because default value overrides it. https://help.github.com/en/articles/virtual-environments-for-github-actions#environment-variables	2019-08-28 09:20:07 +09:00
Takashi Kokubun	dd032a5fb4	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.	2019-08-28 00:16:16 +09:00
Takashi Kokubun	4209066f0e	Drop more unused configs from doxygen and coverage ... workflows, because mame said he has never seen it.	2019-08-27 23:52:43 +09:00
Yusuke Endoh	0c8525ecc9	.github/workflows/coverage.yml: add a cron job for coverage in Actions	2019-08-27 14:40:59 +09:00