Skip to content

docs: update online editor navbar link#562

Closed
WinterArc21 wants to merge 1 commit into
tscircuit:mainfrom
WinterArc21:docs/try-online-editor-link
Closed

docs: update online editor navbar link#562
WinterArc21 wants to merge 1 commit into
tscircuit:mainfrom
WinterArc21:docs/try-online-editor-link

Conversation

@WinterArc21
Copy link
Copy Markdown

Summary

  • Rename the docs navbar link from "Use Online" to "Try Online"
  • Point the link directly to https://tscircuit.com/editor

Bounty claim

This implements the request from the archived bounty issue:
tscircuit/docs-old#67

/attempt #67 could not be posted because tscircuit/docs-old is archived/read-only and the issue is locked. This PR applies the fix in the active docs repository.

/claim #67

Testing

  • npm run typecheck
  • ./node_modules/.bin/docusaurus build with local verification install pinned to webpack@5.99.9 because npm otherwise resolves webpack@5.106.2, which is incompatible with Docusaurus 3.8.1 progress options. The repository normally uses Bun, but Bun was unavailable in this WSL environment.

@vercel
Copy link
Copy Markdown

vercel Bot commented May 11, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
docs Ready Ready Preview, Comment May 11, 2026 1:50am

Request Review

@WinterArc21
Copy link
Copy Markdown
Author

Bounty context: this implements the archived docs bounty request at tscircuit/docs-old#67. Posting /attempt #67 on the bounty issue failed because tscircuit/docs-old is archived/read-only and the issue is locked, so the fix was applied here in the active docs repo.

/claim #67

@github-actions
Copy link
Copy Markdown

This PR has been automatically marked as stale because it has had no recent activity. It will be closed if no further activity occurs.

@github-actions
Copy link
Copy Markdown

This PR was closed because it has been inactive for 1 day since being marked as stale.

@github-actions github-actions Bot closed this May 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant