diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index 5c21cd9..7105287 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -17,5 +17,12 @@ jobs: with: key: ${{ github.ref }} path: .cache + - run: pip install mkdocs-material mike + + - name: Configure Git user + run: | + git config --local user.email "github-actions[bot]@users.noreply.github.com" + git config --local user.name "github-actions[bot]" + - run: mike deploy --push dev