Thanks to visit codestin.com
Credit goes to github.com

Skip to content

fix: use file filter in weekly-docs github action#17729

Merged
EdwardAngert merged 2 commits intomainfrom
weekly-docs-filter
May 8, 2025
Merged

fix: use file filter in weekly-docs github action#17729
EdwardAngert merged 2 commits intomainfrom
weekly-docs-filter

Conversation

@EdwardAngert
Copy link
Contributor

otherwise it ignores the instruction to only check docs/ when a file changes in that dir

otherwise it ignores the instruction to only check docs/ when a file changes in that dir
@EdwardAngert EdwardAngert self-assigned this May 8, 2025
@EdwardAngert EdwardAngert added the docs/site docs site-related issue/task/feature request label May 8, 2025
@EdwardAngert EdwardAngert merged commit 9a052e2 into main May 8, 2025
26 checks passed
@EdwardAngert EdwardAngert deleted the weekly-docs-filter branch May 8, 2025 20:30
@github-actions github-actions bot locked and limited conversation to collaborators May 8, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

docs/site docs site-related issue/task/feature request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments