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

Release/v0.12.0 beta #1801

Closed
wants to merge 1 commit into from
Closed

Release/v0.12.0 beta #1801

wants to merge 1 commit into from

Conversation

bfops
Copy link
Collaborator

@bfops bfops commented Oct 3, 2024

Description of Changes

Please describe your change, mention any related tickets, and so on here.

API and ABI breaking changes

If this is an API or ABI breaking change, please apply the
corresponding GitHub label.

Expected complexity level and risk

How complicated do you think these changes are? Grade on a scale from 1 to 5,
where 1 is a trivial change, and 5 is a deep-reaching and complex change.

This complexity rating applies not only to the complexity apparent in the diff,
but also to its interactions with existing and future code.

If you answered more than a 2, explain what is complex about the PR,
and what other components it interacts with in potentially concerning ways.

Testing

Describe any testing you've done, and any testing you'd like your reviewers to do,
so that you're confident that all the changes work as expected!

  • Write a test you've completed here.
  • Write a test you want a reviewer to do here, so they can check it off when they're satisfied.

@bfops bfops marked this pull request as draft October 3, 2024 18:26
@bfops bfops added the Do not merge Do not merge PRs with this label without coordinating further label Oct 3, 2024
@bfops bfops force-pushed the release/v0.12.0-beta branch from 20eb34c to dd5e132 Compare October 3, 2024 19:22
@bfops bfops force-pushed the release/v0.12.0-beta branch from dd5e132 to c0b7a4d Compare October 4, 2024 04:29
@bfops bfops closed this Oct 17, 2024
@bfops bfops deleted the release/v0.12.0-beta branch October 17, 2024 18:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Do not merge Do not merge PRs with this label without coordinating further
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant