Skip to content

Fix doc-site CI: use --detach in checkout_version#147

Merged
jandelgado merged 1 commit intomasterfrom
fix_docsite_checkout_detach
Mar 2, 2026
Merged

Fix doc-site CI: use --detach in checkout_version#147
jandelgado merged 1 commit intomasterfrom
fix_docsite_checkout_detach

Conversation

@jandelgado
Copy link
Owner

Follow-up to #146. The worktree creation was fixed, but checkout_version runs git checkout master inside the worktree, which hits the same error:

fatal: 'master' is already used by worktree at '/home/runner/work/jled/jled'

Fix: use git checkout --detach <version> so the worktree always operates in detached HEAD mode. This works for both branch names (master) and tags — since we're only reading files, there's no need to be on a branch.

Test plan

  • CI deploy-docs workflow passes after merge to master

🤖 Generated with Claude Code

git checkout <branch> fails in the worktree when that branch is already
checked out in the main worktree. Using --detach checks out the commit
directly, which works for both branch names (master) and tags.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@jandelgado jandelgado merged commit f0efa39 into master Mar 2, 2026
43 checks passed
@coveralls
Copy link

Coverage Status

coverage: 98.438%. remained the same
when pulling 0c5983b on fix_docsite_checkout_detach
into e2cb3ed on master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants