Skip to content

Conversation

@mrmr1993
Copy link
Contributor

No description provided.

@mrmr1993
Copy link
Contributor Author

!ci-build-me

@mrmr1993
Copy link
Contributor Author

!approved-for-mainnet

Copy link
Contributor

@mitschabaude mitschabaude left a comment

Choose a reason for hiding this comment

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

thanks for adding this!

@emberian emberian added the ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR label Mar 27, 2024
@deepthiskumar deepthiskumar merged commit 372d432 into berkeley Mar 28, 2024
@deepthiskumar deepthiskumar deleted the feature/add-vk branch March 28, 2024 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants