Marc Herbert b7708182fb .github: fail on errors and address space warnings in sparse output ... sparse does not have a useful exit status so let's use 'grep' instead. Fixes: #6317 Signed-off-by: Marc Herbert <marc.herbert@intel.com>		2022-11-01 10:55:58 +00:00
..
ISSUE_TEMPLATE	github: fix link to bug tracking docs	2020-01-09 11:24:06 +00:00
workflows	.github: fail on errors and address space warnings in sparse output	2022-11-01 10:55:58 +00:00