Repository navigation

ci: Fix docs release failing on detached HEAD - #866

Merged

vdusek merged 2 commits into

fix/docs-release-detached-head

Apr 20, 2026

Commits on Apr 18, 2026
- ci: Fix docs release failing on detached HEAD
  
  vdusek
  and
  claude
  committed
  6abec8f
Commits on Apr 20, 2026
- Final polishment
  vdusek
  committed
  c83c731