From b1de748948421c84b0233356f760d74888559b56 Mon Sep 17 00:00:00 2001 From: Kumar Gala Date: Sat, 8 Feb 2020 07:41:47 -0600 Subject: [PATCH] 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 --- .github/workflows/doc-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 1870bdde412..f5fd4d8e477 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -1,7 +1,7 @@ # Copyright (c) 2020 Linaro Limited. # SPDX-License-Identifier: Apache-2.0 -name: Documentation +name: Documentation GitHub Workflow on: [pull_request, push]