Skip to content

Tracking PR for v0.15.0 release#1877

Draft
bobbinth wants to merge 47 commits intomainfrom
next
Draft

Tracking PR for v0.15.0 release#1877
bobbinth wants to merge 47 commits intomainfrom
next

Conversation

@bobbinth
Copy link
Copy Markdown
Contributor

@bobbinth bobbinth commented Apr 1, 2026

This is a tracking PR for v0.15.0 release.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: igamigo <ignacio.amigo@lambdaclass.com>
Co-authored-by: Santiago Pittella <87827390+SantiagoPittella@users.noreply.github.com>
Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
…ng is not required (#2005)

Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
Co-authored-by: Bobbin Threadbare <43513081+bobbinth@users.noreply.github.com>
@bobbinth
Copy link
Copy Markdown
Contributor Author

There are some small conflicts between main and next. @sergerad or @Mirko-von-Leipzig - could you open a PR to merge the latest main into next?

@sergerad
Copy link
Copy Markdown
Collaborator

There are some small conflicts between main and next. @sergerad or @Mirko-von-Leipzig - could you open a PR to merge the latest main into next?

How does this look? #2019

I was surprised to see the CI / YAML changes. But I'm not across them.

#2018)

Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
Co-authored-by: Mirko <48352201+Mirko-von-Leipzig@users.noreply.github.com>
Co-authored-by: KOVACS Krisztian <krisztian.k@miden.team>
Co-authored-by: Bobbin Threadbare <43513081+bobbinth@users.noreply.github.com>
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.

8 participants