diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 781a58ab0..470a9cadb 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -51,7 +51,7 @@ jobs: if: github.ref == 'refs/heads/0.6.3' run: | echo "Branchname: ${GITHUB_REF#refs/heads/}" - mike deploy --rebase --update-aliases --title="${GITHUB_REF#refs/heads/}" "${GITHUB_REF#refs/heads/}" + mike deploy --rebase --push --update-aliases --title="${GITHUB_REF#refs/heads/}" "${GITHUB_REF#refs/heads/}" - name: Build docs from this branch if: github.ref == 'refs/heads/0.7.0'