Try to fix docs ci

.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

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