diff --git a/.github/workflows/docs_builder.yaml b/.github/workflows/docs_builder.yaml index 09b638cc..99b83bb1 100644 --- a/.github/workflows/docs_builder.yaml +++ b/.github/workflows/docs_builder.yaml @@ -27,6 +27,6 @@ jobs: run: | make copy-assets mike deploy --push development - mike set-default --push development + mike set-default --push stable working-directory: ./Documentation_website