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>