PR #31147 Workflow: Remove `IS_GITHUB_CI`

Workflow: Remove `IS_GITHUB_CI` #31147

younesbelkada merged 1 commit into main from remove-is-github-ci

remove `IS_GITHUB_CI`

c58d1d4e

younesbelkada requested a review from

ydshieh 2 years ago

ydshieh approved these changes on 2024-05-30

younesbelkada merged 6bd511a4 into main 2 years ago

younesbelkada deleted the remove-is-github-ci branch 2 years ago

Reviewers

ydshieh

Assignees

No one assigned

Labels

None yet

Milestone

No milestone