Skip to content

Conversation

@rgrinberg
Copy link
Member

Signed-off-by: Rudi Grinberg [email protected]

Signed-off-by: Rudi Grinberg <[email protected]>

<!-- ps-id: b8af0e81-f48d-424b-addf-86d09c1b9271 -->
@rgrinberg rgrinberg merged commit 244a430 into main Jan 6, 2024
@rgrinberg rgrinberg deleted the ps/rr/test__move_ppx_tests_to_sub_directory branch January 6, 2024 21:10
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