diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 668115f57..9e1f0f2ec 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -116,8 +116,8 @@ jobs: git fetch origin gh-pages echo "Build and deploy the doc on ${{ inputs.release-version }}" - mike deploy --push --force stable - mike deploy --push --force ${{ inputs.release-version }} + mike deploy --push stable + mike deploy --push ${{ inputs.release-version }} - name: Create GitHub Release uses: softprops/action-gh-release@de2c0eb89ae2a093876385947365aca7b0e5f844