From 753e132adfc1c34666ab95db26d8f5d1e3065d3d Mon Sep 17 00:00:00 2001 From: Uttarayan Mondal Date: Wed, 10 Mar 2021 00:19:43 +0530 Subject: [PATCH] Edit documentation workflow --- .github/workflows/docs.yaml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index b41b1e1..419a581 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -22,17 +22,17 @@ jobs: override: true - name: Build Docs run: cargo doc --color=always - - name: Copy docs - run: | - mv docs/index.html ./ - rm -rf docs - cp -r target/doc ./docs - mv index.html docs/ - - name: Push changes + - name: Copy docs and push run: | git config --global user.name 'github-actions[bot]' git config --global user.email 'github-actions[bot]@users.noreply.github.com' git checkout gh-pages - git add docs + git commit -am "Generated docs from github-actions[bot]" + + rm -rf docs + cp -r target/doc ./docs + cp index.html docs/ + + git add docs git push