Skip to content

Add docs-lint to lint command#42039

Merged
julien-deramond merged 2 commits into
v6-devfrom
v6-dev-jd-add-docs-lint-to-lint
Jan 26, 2026
Merged

Add docs-lint to lint command#42039
julien-deramond merged 2 commits into
v6-devfrom
v6-dev-jd-add-docs-lint-to-lint

Conversation

@julien-deramond

@julien-deramond julien-deramond commented Jan 25, 2026

Copy link
Copy Markdown
Member

The current docs.yml GitHub Action runs docs-build, but docs-lint is only executed when running docs.

This PR adds docs-lint to the lint command.

The initial commit caused the jobs to fail; running npm run docs-prettier-format fixed the reported issues. The resulting change is included in 97acb3f, allowing the job to pass successfully.

@julien-deramond julien-deramond marked this pull request as ready for review January 25, 2026 09:26
@julien-deramond julien-deramond requested a review from mdo January 25, 2026 09:26
@julien-deramond julien-deramond merged commit f3a1538 into v6-dev Jan 26, 2026
12 checks passed
@julien-deramond julien-deramond deleted the v6-dev-jd-add-docs-lint-to-lint branch January 26, 2026 19:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Inbox

Development

Successfully merging this pull request may close these issues.

2 participants