diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 68b708b..e7cb2da 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -74,6 +74,10 @@ jobs: - name: Deploy development version run: | mike deploy --push --update-aliases dev latest + # Set dev as default if no default exists + if ! mike list | grep -q "default"; then + mike set-default --push dev + fi deploy-release: runs-on: ubuntu-latest