liuhaitao b94a7698d9 Revert "CI: use 'git diff $commits' as a whole patchset to do checkpatch" ... This reverts commit 350131d00e. If one PR is on a former master code base, using 'git diff $commits' would result in abnormal checkpatch report sometimes. So revert it anyway.		2020-05-09 14:10:34 +08:00
..
build.yml	Restore Git Credentials on NuttX repo	2020-05-05 15:26:51 +08:00
check.yml	Revert "CI: use 'git diff $commits' as a whole patchset to do checkpatch"	2020-05-09 14:10:34 +08:00
doc.yml	Rename workflows to match build.yml	2020-04-15 14:43:36 +08:00