diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 24db76a5d0..f07a43d740 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -47,16 +47,16 @@ jobs: for filename in docs/extensions/api/**/*.md; do [ -e "$filename" ] || continue; sed -i '1s/^/---\ntitle: API Reference\n---\n/' $filename; done -# - name: mkdocs deploy latest -# run: | -# mike deploy --push latest + - name: mkdocs deploy latest + run: | + mike deploy --push latest - # - name: mkdocs deploy new release / tag - # if: contains(github.ref, 'refs/tags/v') - # run: | - # mike deploy --push--update-aliases ${{ github.ref }} latest - # mike set-default --push ${{ github.ref }} + - name: mkdocs deploy new release / tag + if: contains(github.ref, 'refs/tags/v') + run: | + mike deploy --push--update-aliases ${{ github.ref }} latest + mike set-default --push ${{ github.ref }}