Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

test: formatting cleanup #10809

Merged
merged 1 commit into from
Aug 6, 2024
Merged

test: formatting cleanup #10809

merged 1 commit into from
Aug 6, 2024

Conversation

rgrinberg
Copy link
Member

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

@rgrinberg rgrinberg force-pushed the ps/rr/test__formatting_cleanup branch from 9a6c6f1 to 4c3dab5 Compare August 6, 2024 22:43
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 8685e101-d762-489e-a9f6-2c81fc7ac138 -->
@rgrinberg rgrinberg force-pushed the ps/rr/test__formatting_cleanup branch from 4c3dab5 to 4a7e8d2 Compare August 6, 2024 22:44
@rgrinberg rgrinberg merged commit 1dd8015 into main Aug 6, 2024
27 of 28 checks passed
@rgrinberg rgrinberg deleted the ps/rr/test__formatting_cleanup branch August 6, 2024 23:14
anmonteiro pushed a commit to anmonteiro/dune that referenced this pull request Nov 17, 2024
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
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