| commit | b1de748948421c84b0233356f760d74888559b56 | [log] [tgz] |
|---|---|---|
| author | Kumar Gala <kumar.gala@linaro.org> | Sat Feb 08 07:41:47 2020 -0600 |
| committer | Kumar Gala <kumar.gala@gmail.com> | Sat Feb 08 09:05:50 2020 -0600 |
| tree | 57eda0d91fc1bfd9958830db6a0329cf82edb2d6 | |
| parent | f17428a009c8fc544b6244bab951a153dff023eb [diff] |
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>