PR #13795 [ci] shorten serge name.

[ci] shorten serge name. #13795

sayakpaul merged 4 commits into main from shorten-serge-name

shorten serge name.

e1ed8e32

sayakpaul requested a review from

tarekziade 60 days ago

github-actions added CI

github-actions added size/S

Merge branch 'main' into shorten-serge-name

d1b48366

Merge branch 'main' into shorten-serge-name

6babee2a

change path

0bfd4a9e

tarekziade approved these changes on 2026-05-27

sayakpaul merged ff3b86b4 into main 55 days ago

sayakpaul deleted the shorten-serge-name branch 19 days ago

Reviewers

tarekziade

Assignees

No one assigned

Labels

size/S CI

Milestone

No milestone