Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dev website fixes #1082

Merged
merged 6 commits into from
Nov 2, 2023
Merged

dev website fixes #1082

merged 6 commits into from
Nov 2, 2023

Conversation

flaub
Copy link
Member

@flaub flaub commented Nov 2, 2023

  • Add redirects for links to /api content
  • Update current version links (i.e. main/0.18 -> 0.19)

@flaub flaub self-assigned this Nov 2, 2023
Copy link

vercel bot commented Nov 2, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
website ✅ Ready (Inspect) Visit Preview 💬 Add feedback Nov 2, 2023 4:41am

@github-actions github-actions bot temporarily deployed to preview November 2, 2023 01:34 Destroyed
Copy link

github-actions bot commented Nov 2, 2023

Pages Preview
🚀 Deployed preview to https://risc0.github.io/website-preview/risc0/risc0/pr/1082
on branch gh-pages at 2023-11-02 04:43:19 +0000

@github-actions github-actions bot temporarily deployed to preview November 2, 2023 04:22 Destroyed
@github-actions github-actions bot temporarily deployed to preview November 2, 2023 04:34 Destroyed
@flaub flaub changed the title Add missing link for dev-mode dev website fixes Nov 2, 2023
@flaub flaub enabled auto-merge (squash) November 2, 2023 05:08
@flaub flaub disabled auto-merge November 2, 2023 06:24
@flaub flaub merged commit 4c840d9 into main Nov 2, 2023
23 of 24 checks passed
@flaub flaub deleted the flaub/missing-link branch November 2, 2023 06:24
flaub added a commit that referenced this pull request Nov 8, 2023
* Add redirects for links to `/api` content
* Update current version links (i.e. main/0.18 -> 0.19)
flaub added a commit that referenced this pull request Nov 8, 2023
* Add redirects for links to `/api` content
* Update current version links (i.e. main/0.18 -> 0.19)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant