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

Update community_build_a #16427

Closed
wants to merge 7 commits into from
Closed

Conversation

nicolasstucki
Copy link
Contributor

@nicolasstucki nicolasstucki commented Nov 28, 2022

[skip test]
[skip test_windows_fast]
[skip test_sbt] [skip mima]
[skip docs]
[skip community_build_a]
[skip community_build_c]

@nicolasstucki nicolasstucki force-pushed the update-munit branch 3 times, most recently from 7b3291e to 37c769c Compare November 28, 2022 15:25
@nicolasstucki nicolasstucki self-assigned this Nov 28, 2022
@nicolasstucki nicolasstucki force-pushed the update-munit branch 4 times, most recently from a2c56ca to 0b1bf4d Compare November 29, 2022 12:23
@nicolasstucki nicolasstucki force-pushed the update-munit branch 3 times, most recently from 99eefe6 to 8bcb8be Compare December 1, 2022 11:53
@nicolasstucki nicolasstucki changed the title Update munit in community build Update community build B Dec 2, 2022
@nicolasstucki nicolasstucki changed the title Update community build B Update community_build_a Dec 2, 2022
@nicolasstucki nicolasstucki changed the title Update community_build_a Update community_build_a Dec 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant