Skip to content

Fix deploy-docs working directory#83

Merged
matejsemancik merged 1 commit intomainfrom
fix/deploy-docs-working-directory
Feb 20, 2026
Merged

Fix deploy-docs working directory#83
matejsemancik merged 1 commit intomainfrom
fix/deploy-docs-working-directory

Conversation

@ssestak
Copy link
Contributor

@ssestak ssestak commented Feb 20, 2026

Summary

Fixes the deploy-docs workflow to use correct .github/ prefixed paths for trigger filters and pip cache, and sets the default working-directory to .github so run steps resolve files correctly.

Changes

  • Updated push trigger paths to include .github/ prefix (docs/**.github/docs/**, etc.)
  • Added defaults.run.working-directory: .github to the deploy job
  • Fixed cache-dependency-path to point to .github/requirements-docs.txt

🤖 Generated with Claude Code

All docs-related files live under .github/ in this org repo. The workflow
steps were referencing paths without the .github/ prefix, causing
setup-python cache to fail finding requirements-docs.txt.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@matejsemancik matejsemancik merged commit b074ef6 into main Feb 20, 2026
3 checks passed
@matejsemancik matejsemancik deleted the fix/deploy-docs-working-directory branch February 20, 2026 14:28
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