Skip to content

ci: Fix docs release failing on detached HEAD#741

Merged
vdusek merged 3 commits into
masterfrom
fix/docs-release-detached-head
Apr 20, 2026
Merged

ci: Fix docs release failing on detached HEAD#741
vdusek merged 3 commits into
masterfrom
fix/docs-release-detached-head

Final polishment

06d4127
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Apr 20, 2026 in 0s

Coverage not affected when comparing 76e4de4...06d4127

View this Pull Request on Codecov

Coverage not affected when comparing 76e4de4...06d4127

View more details on Codecov