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

checkpoint: into main from release/2.1.2 @ 0ada9453ae3c2ce589039aaf6633cdfd13e01959 #16588

Conversation

AmineKhaldi
Copy link
Contributor

Source hash: 0ada945
Remaining commits: 3

@AmineKhaldi AmineKhaldi requested a review from a team as a code owner October 11, 2023 13:21
@AmineKhaldi AmineKhaldi added checkpoint_merge Changed Required label for PR that categorizes merge commit message as "Changed" for changelog labels Oct 11, 2023
@cmmarslender cmmarslender merged commit c5923cd into main Oct 11, 2023
241 of 242 checks passed
@cmmarslender cmmarslender deleted the checkpoint/main_from_release_2.1.2_0ada9453ae3c2ce589039aaf6633cdfd13e01959 branch October 11, 2023 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog checkpoint_merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants