diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index a7f5bfb..b712e47 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -60,4 +60,6 @@ jobs: - name: Test building the doc site but do not deploy it if: ${{ github.event_name == 'pull_request' }} working-directory: doc-site - run: mkdocs build + run: | + mkdocs build + mike set-default latest