Skip to content

Fix build-dev-docs and update docs#7518

Open
gonzaloriestra wants to merge 1 commit into
mainfrom
fix-build-dev-docs
Open

Fix build-dev-docs and update docs#7518
gonzaloriestra wants to merge 1 commit into
mainfrom
fix-build-dev-docs

Conversation

@gonzaloriestra
Copy link
Copy Markdown
Contributor

WHY are these changes introduced?

The build-dev-docs command is failing unless you have pnpx manually installed, because is not included by default in pnpm anymore

WHAT is this pull request doing?

  • Use pnpm to make the command work for everyone
  • Update docs

Checklist

  • I've considered possible cross-platform impacts (Mac, Linux, Windows)
  • I've considered possible documentation changes
  • I've considered analytics changes to measure impact
  • The change is user-facing — I've identified the correct bump type (patch for bug fixes · minor for new features · major for breaking changes) and added a changeset with pnpm changeset add

@gonzaloriestra gonzaloriestra requested review from a team as code owners May 11, 2026 08:40
@github-actions github-actions Bot added the no-changelog This PR doesn't include a changeset entry. Is an internal only change not relevant to end users. label May 11, 2026
Copy link
Copy Markdown
Contributor Author

gonzaloriestra commented May 11, 2026

Merge activity

  • May 11, 11:21 AM UTC: A user started a stack merge that includes this pull request via Graphite.
  • May 11, 11:21 AM UTC: @gonzaloriestra added this pull request to the GitHub merge queue with Graphite.

@gonzaloriestra gonzaloriestra added this pull request to the merge queue May 11, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 11, 2026
@gonzaloriestra gonzaloriestra added this pull request to the merge queue May 12, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 12, 2026
@gonzaloriestra gonzaloriestra added this pull request to the merge queue May 12, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-changelog This PR doesn't include a changeset entry. Is an internal only change not relevant to end users.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants