PR #3240 fix main push detection in workflow

fix main push detection in workflow #3240

sokra merged 1 commit into main from ci/bugfix/main

fix main push detection in workflow

45437f03

sokra requested a review 3 years ago

sokra requested a review from

tknickman 3 years ago

sokra requested a review from

NicholasLYang 3 years ago

github-actions added area: ci

sokra merged 812e9aba into main 3 years ago

sokra deleted the ci/bugfix/main branch 3 years ago

Reviewers

tknickman

NicholasLYang

Assignees

No one assigned

Labels

area: ci

Milestone

No milestone