Skip to content

Rename rv#145

Merged
mcoduoza merged 2 commits intomapping_to_cgrafrom
rename_RV
Jan 23, 2025
Merged

Rename rv#145
mcoduoza merged 2 commits intomapping_to_cgrafrom
rename_RV

Conversation

@mcoduoza
Copy link
Collaborator

No description provided.

@mcoduoza mcoduoza requested review from bobcheng15 and kalhankoul96 and removed request for bobcheng15 January 23, 2025 16:49
Copy link
Collaborator

@bobcheng15 bobcheng15 left a comment

Choose a reason for hiding this comment

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

Looks good to me, thanks Michael!

@mcoduoza mcoduoza merged commit 4f3cf6d into mapping_to_cgra Jan 23, 2025
1 check passed
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.

2 participants