mirror of
https://github.com/coredns/coredns.git
synced 2025-10-27 08:14:18 -04:00
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 <yong.tang.github@outlook.com>