Skip to content

test(menhir): using a menhir module as a group interface#8987

Merged
rgrinberg merged 1 commit intomainfrom
ps/rr/test_menhir___using_a_menhir_module_as_a_group_interface
Oct 23, 2023
Merged

test(menhir): using a menhir module as a group interface#8987
rgrinberg merged 1 commit intomainfrom
ps/rr/test_menhir___using_a_menhir_module_as_a_group_interface

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

Signed-off-by: Rudi Grinberg me@rgrinberg.com

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 8f2b0a2e-c245-4fb4-a9e5-d9138bc5c968 -->
@rgrinberg rgrinberg force-pushed the ps/rr/test_menhir___using_a_menhir_module_as_a_group_interface branch from 7491670 to d8918c6 Compare October 23, 2023 17:43
@rgrinberg rgrinberg merged commit 160b72e into main Oct 23, 2023
@rgrinberg rgrinberg deleted the ps/rr/test_menhir___using_a_menhir_module_as_a_group_interface branch October 23, 2023 19:59
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