PR #40503 Fix the CI workflow of `merge to main`

Fix the CI workflow of `merge to main` #40503

ydshieh merged 2 commits into main from fix_stupid_empty_list

fix

1e25d745

fix

f43ea061

ydshieh requested a review from

ivarflakstad 181 days ago

ivarflakstad approved these changes on 2025-08-27

ydshieh merged 821384d5 into main 181 days ago

ydshieh deleted the fix_stupid_empty_list branch 181 days ago

Reviewers

ivarflakstad

Assignees

No one assigned

Labels

None yet

Milestone

No milestone