Skip to content

fix: use git add -f for dist/ in Build Documents workflow#6

Merged
h13 merged 1 commit intomainfrom
fix/ci-build-documents
Mar 7, 2026
Merged

fix: use git add -f for dist/ in Build Documents workflow#6
h13 merged 1 commit intomainfrom
fix/ci-build-documents

Conversation

@h13
Copy link
Copy Markdown
Owner

@h13 h13 commented Mar 7, 2026

Summary

  • git add dist/ fails because dist/ is in .gitignore
  • Changed to git add -f dist/ to force-add generated files

Test plan

  • Build Documents workflow passes on this PR

🤖 Generated with Claude Code

The Build Documents workflow fails because dist/ is in .gitignore
and git add refuses to add ignored files without -f flag.
@h13 h13 merged commit 0e97ab3 into main Mar 7, 2026
1 check failed
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.

1 participant