diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 0b421479..2d20c555 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -122,5 +122,5 @@ 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 }}