Skip to content

Comments

chore: bump leanSpec commit#62

Merged
MegaRedHand merged 1 commit intomainfrom
bump-leanSpec
Jan 28, 2026
Merged

chore: bump leanSpec commit#62
MegaRedHand merged 1 commit intomainfrom
bump-leanSpec

Conversation

@MegaRedHand
Copy link
Collaborator

This PR bumps leanSpec to devnet-2's 4edcf7bc9271e6a70ded8aff17710d68beac4266 commit

@MegaRedHand MegaRedHand marked this pull request as ready for review January 28, 2026 15:47
@MegaRedHand MegaRedHand merged commit 866ade1 into main Jan 28, 2026
2 checks passed
@MegaRedHand MegaRedHand deleted the bump-leanSpec branch January 28, 2026 15:50
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