Skip to content

Fix build-dev-docs and update docs#7518

Merged
gonzaloriestra merged 1 commit into
mainfrom
fix-build-dev-docs
May 21, 2026
Merged

Fix build-dev-docs and update docs#7518
gonzaloriestra merged 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
@gonzaloriestra gonzaloriestra force-pushed the fix-build-dev-docs branch 2 times, most recently from c19e476 to f8a1e25 Compare May 21, 2026 09:40
@gonzaloriestra gonzaloriestra added this pull request to the merge queue May 21, 2026
Merged via the queue into main with commit 910a98f May 21, 2026
27 of 29 checks passed
@gonzaloriestra gonzaloriestra deleted the fix-build-dev-docs branch May 21, 2026 11:15
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