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.5.2 @ 1760da7ed3bb76f5fc1e8ea0ef41c0aa597ac936 #2614

Conversation

AmineKhaldi
Copy link
Contributor

Source hash: 1760da7
Remaining commits: 1

emlowe and others added 2 commits February 18, 2025 16:18
…nt/main_from_release_2.5.2_1760da7ed3bb76f5fc1e8ea0ef41c0aa597ac936
@AmineKhaldi AmineKhaldi requested a review from a team as a code owner February 21, 2025 18:43
@AmineKhaldi AmineKhaldi added Changed Required label for PR that categorizes merge commit message as "Changed" for changelog checkpoint_merge labels Feb 21, 2025
@TheLastCicada TheLastCicada merged commit c528927 into main Feb 21, 2025
10 checks passed
@TheLastCicada TheLastCicada deleted the checkpoint/main_from_release_2.5.2_1760da7ed3bb76f5fc1e8ea0ef41c0aa597ac936 branch February 21, 2025 20:17
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.

3 participants