Skip to content

ci: run docs-lint on every pull request - #24

Merged
l-nmch merged 1 commit into
mainfrom
ci/docs-lint-every-pr
Oct 28, 2026
Merged

l-nmch merged 1 commit into
mainfrom
ci/docs-lint-every-pr

Conversation

@l-nmch

@l-nmch l-nmch commented Oct 28, 2026

Copy link
Copy Markdown
Member

What

Runs the shared docs-lint check on every pull request, not only when documentation files change.

A required status check that is skipped by a paths filter never reports, so it would block every pull request that does not touch documentation. Dropping the filter makes the check safe to require on main. It takes about a minute.

Part of phorge-fr/.github#27

@l-nmch l-nmch added this to the 2026-Q4 milestone Oct 28, 2026
@l-nmch l-nmch added the area/ci CI/CD, automation, dependencies label Oct 28, 2026
@l-nmch l-nmch self-assigned this Oct 28, 2026
@l-nmch
l-nmch merged commit 8344a35 into main Oct 28, 2026
6 checks passed
@l-nmch
l-nmch deleted the ci/docs-lint-every-pr branch October 28, 2026 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci CI/CD, automation, dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant