diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 5c55f2f..32eece5 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -45,5 +45,6 @@ jobs: - name: Deploy docs run: | mike deploy REL1_0_STABLE -p + mike set-default REL1_0_STABLE -p mike retitle REL1_0_STABLE "1.0.x (stable)" -p