From c996a26364aa9cdc05303e99dcc205b9cd03924c Mon Sep 17 00:00:00 2001 From: Yong Tang Date: Tue, 8 Jun 2021 09:26:38 -0700 Subject: [PATCH] Add verbose log in GitHub Actions CI for make -f Makefile.doc (#4681) Our GitHub Actions CI is having some issues with `make -f Makefile.doc` as the related changes that should have triggered the build didn't work for the past 3 months (since march). This PR adds verbose to GitHub Actions CI to see if we can get more information. Note this PR just add `set -x` to show detailed step. Will not impact anything else. Signed-off-by: Yong Tang --- .github/workflows/make.doc.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/make.doc.yml b/.github/workflows/make.doc.yml index 097f261eb..de513ff59 100644 --- a/.github/workflows/make.doc.yml +++ b/.github/workflows/make.doc.yml @@ -17,7 +17,7 @@ jobs: - name: Update Docs run: | - ./.github/fixup_file_mtime.sh + bash -x -e ./.github/fixup_file_mtime.sh make -f Makefile.doc - name: Set up Git @@ -30,6 +30,7 @@ jobs: - name: Commit and push changes run: | + set -x -e git add . if output=$(git status --porcelain) && [ ! -z "$output" ]; then git commit -s -m 'auto make -f Makefile.doc'