Skip to content

chore: bump gnovm#255

Merged
julienrbrt merged 2 commits intomainfrom
julien/bump-gnovm
Feb 26, 2026
Merged

chore: bump gnovm#255
julienrbrt merged 2 commits intomainfrom
julien/bump-gnovm

Conversation

@julienrbrt
Copy link
Member

No description provided.

@julienrbrt julienrbrt merged commit 2c4ead4 into main Feb 26, 2026
42 of 43 checks passed
@julienrbrt julienrbrt deleted the julien/bump-gnovm branch February 26, 2026 10:02
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.

1 participant