diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index d49750c..04ed501 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -45,6 +45,5 @@ jobs: - name: Deploy docs run: | mike deploy main -p - mike set-default main -p - mike retitle main "latest" -p + mike retitle main "development" -p