Kumar Gala b1de748948 github: Rename GitHub workflow action ... GitHub checks need to be uniquely named, and 'Documentation' conflicts with the ci-tool name. Rename this while we are running both so the names don't conflict. Signed-off-by: Kumar Gala <kumar.gala@linaro.org>		2020-02-08 09:05:50 -06:00
..
doc-build.yml	github: Rename GitHub workflow action	2020-02-08 09:05:50 -06:00
west_cmds.yml	ci: github: west: Add a GH workflow to run the west command tests	2020-02-06 08:34:43 -06:00