diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index a40eee4ad9104724abf9d6ced805c6b8886483fa..d22fb55cee4577ed15ef5b95b7b1c3c35e224529 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -35,13 +35,15 @@ jobs: cargo doc --no-deps echo "<meta http-equiv=\"refresh\" content=\"0; url=configuration\">" > target/doc/index.html + + - name: Move docs run: | mkdir -p ./doc mv ./target/doc/* ./doc git config user.email "github-action@users.noreply.github.com" git config user.name "GitHub Action" - git config user.password ${{ secrets.GH_PAGES_TOKEN }} + git config user.password "${{ secrets.GH_PAGES_TOKEN }}" git checkout --orphan gh-pages mkdir to_delete shopt -s extglob