PR #46976 the CI status should be a comment

the CI status should be a comment #46976

tarekziade merged 2 commits into main from tarek-fix-ci-comment

the CI status should be a comment

6ec2939a

tarekziade requested a review from

ydshieh 6 days ago

tarekziade assigned

tarekziade 6 days ago

ydshieh approved these changes on 2026-06-30

added docstrings and make sure we delete+re-create the CI comment

79ddf2cb

tarekziade merged 9f7719f3 into main 6 days ago

tarekziade deleted the tarek-fix-ci-comment branch 6 days ago

Reviewers

ydshieh

Assignees

tarekziade

Labels

None yet

Milestone

No milestone