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.

Sign up for GitHub

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

Jump to bottom

Release 0.19.0-rc.3 #1045

Merged
merged 3 commits into from
Oct 27, 2023
Merged

Release 0.19.0-rc.3 #1045

merged 3 commits into from
Oct 27, 2023

Conversation

flaub
Copy link
Member

@flaub flaub commented Oct 27, 2023

  • Fixes "Could not launch zkvm" error
  • Drop GPU builds from release workflow

@flaub
Release 0.19.0-rc.3
12afd82 
* Fixes "Could not launch zkvm" error.
* Drop GPU builds from release workflow
@flaub
Merge branch 'main' into flaub/rc.3
19a256e
@flaub flaub added this to the 0.19 milestone Oct 27, 2023
@flaub flaub self-assigned this Oct 27, 2023
@vercel
Copy link

vercel bot commented Oct 27, 2023 •
edited

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 27, 2023 2:44am

@flaub flaub enabled auto-merge (squash) October 27, 2023 02:44
@flaub flaub disabled auto-merge October 27, 2023 03:59
@flaub flaub merged commit 660c2a5 into main Oct 27, 2023
22 checks passed
@flaub flaub deleted the flaub/rc.3 branch October 27, 2023 03:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@SchmErik SchmErik Awaiting requested review from SchmErik

@tzerrell tzerrell Awaiting requested review from tzerrell

@capossele capossele Awaiting requested review from capossele

Assignees

@flaub flaub

Labels
None yet
Projects
None yet
Milestone
0.19.0
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@flaub