Skip to content

Fix documentation deployment workflows#17

Merged
jat255 merged 1 commit intomainfrom
fix_doc_switcher
Dec 16, 2025
Merged

Fix documentation deployment workflows#17
jat255 merged 1 commit intomainfrom
fix_doc_switcher

Conversation

@jat255
Copy link
Copy Markdown
Contributor

@jat255 jat255 commented Dec 16, 2025

Resolves #5

…n changes.

- Update deploy-docs.yml: use git add -A for version directories, remove temporary push trigger
- Update deploy-pr-docs.yml: add switcher.json propagation and fix git add commands
- Add towncrier changelog fragment for issue #5
@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 16, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@github-actions
Copy link
Copy Markdown
Contributor

📚 Documentation Preview

The documentation for this PR has been deployed to:

This preview will be updated on each push to this PR.

github-actions Bot added a commit that referenced this pull request Dec 16, 2025
@jat255 jat255 merged commit 2aa56cf into main Dec 16, 2025
9 checks passed
github-actions Bot added a commit that referenced this pull request Dec 16, 2025
@jat255 jat255 deleted the fix_doc_switcher branch December 16, 2025 18:37
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.

Version switcher on documentation is not working properly

1 participant