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

[Docs]: Hello world tutorial revamp #1077

Merged
merged 3 commits into from
Nov 4, 2023
Merged

[Docs]: Hello world tutorial revamp #1077

merged 3 commits into from
Nov 4, 2023

Conversation

it09
Copy link
Contributor

@it09 it09 commented Nov 1, 2023

Update Hello world tutorial, move it from GitHub to the docs

Copy link

vercel bot commented Nov 1, 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 4, 2023 0:57am

@github-actions github-actions bot temporarily deployed to preview November 1, 2023 16:18 Destroyed
Copy link

github-actions bot commented Nov 1, 2023

Pages Preview
🚀 Deployed preview to https://risc0.github.io/website-preview/risc0/risc0/pr/1077
on branch gh-pages at 2023-11-04 00:58:40 +0000

@it09 it09 changed the title [Docs]: Hello world tutorial [Docs]: Hello world tutorial revamp Nov 1, 2023
@github-actions github-actions bot temporarily deployed to preview November 1, 2023 18:41 Destroyed
@github-actions github-actions bot temporarily deployed to preview November 1, 2023 22:25 Destroyed
@github-actions github-actions bot temporarily deployed to preview November 1, 2023 22:33 Destroyed
@github-actions github-actions bot temporarily deployed to preview November 3, 2023 15:17 Destroyed
@github-actions github-actions bot temporarily deployed to preview November 3, 2023 18:11 Destroyed
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We also need to update the sidebar for 0.19

@github-actions github-actions bot temporarily deployed to preview November 3, 2023 23:39 Destroyed
@flaub flaub merged commit 9c8fc7c into main Nov 4, 2023
21 of 24 checks passed
@flaub flaub deleted the it09/hello-world branch November 4, 2023 02:52
flaub pushed a commit that referenced this pull request Nov 8, 2023
Update Hello world tutorial, move it from GitHub to the docs
flaub pushed a commit that referenced this pull request Nov 8, 2023
Update Hello world tutorial, move it from GitHub to the docs
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

3 participants