diff --git a/.github/workflows/deploy-mkdocs.yml b/.github/workflows/deploy-mkdocs.yml index 4f10884f..d4f6010e 100644 --- a/.github/workflows/deploy-mkdocs.yml +++ b/.github/workflows/deploy-mkdocs.yml @@ -2,9 +2,10 @@ name: Publish docs via GitHub Pages # Only run on new tags starting with `v` on: - push: - tags: - - 'v*' + pull_request: + #push: + # tags: + # - 'v*' workflow_dispatch: jobs: @@ -56,6 +57,8 @@ jobs: # will be a branch name instead of a tag version. VERSION=$(git describe --tags --abbrev=0) + echo "Publishing version: $VERSION" + # Only push docs if no letters in git tag after the first character # (usually the git tag will have v as the first character) if ! echo $VERSION | sed 's/^.//' | grep -q "[A-Za-z]"; then diff --git a/mkdocs.yml b/mkdocs.yml index 347f9873..6ee68367 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -73,7 +73,7 @@ nav: - Performance: performance.md - Changelog: CHANGELOG.md - Alternatives: alternatives.md - - "How it works?": + - How it works?: - how-it-works/index.md - how-it-works/internals.md