diff --git a/.github/workflows/build-sphinx.yml b/.github/workflows/build-sphinx.yml index 3b26bd6d..0f1dbb63 100644 --- a/.github/workflows/build-sphinx.yml +++ b/.github/workflows/build-sphinx.yml @@ -39,6 +39,9 @@ jobs: doc_root=`mktemp -d` rsync -av "docs/_build/html/" "${doc_root}/" pushd "${doc_root}" + echo "${doc_root}" + echo "${GITHUB_ACTOR}" + echo "${GITHUB_REPOSITORY}" git config --global user.name "${GITHUB_ACTOR}" git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com" git init