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

Bump version and update install instructions #1042

Merged
merged 2 commits into from
Oct 26, 2023
Merged

Bump version and update install instructions #1042

merged 2 commits into from
Oct 26, 2023

Conversation

flaub
Copy link
Member

@flaub flaub commented Oct 26, 2023

No description provided.

@flaub flaub added this to the 0.19 milestone Oct 26, 2023
@flaub flaub self-assigned this Oct 26, 2023
@vercel
Copy link

vercel bot commented Oct 26, 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 Oct 26, 2023 6:10pm

@github-actions github-actions bot temporarily deployed to preview October 26, 2023 17:44 Destroyed
@github-actions
Copy link

Pages Preview
🚀 Deployed preview to https://risc0.github.io/website-preview/risc0/risc0/pr/1042
on branch gh-pages at 2023-10-26 17:44:47 +0000

@flaub flaub requested a review from it09 October 26, 2023 17:49
@flaub flaub enabled auto-merge (squash) October 26, 2023 17:49
@flaub flaub merged commit aa2c802 into main Oct 26, 2023
24 checks passed
@flaub flaub deleted the flaub/release branch October 26, 2023 19:12
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

2 participants