composable_kernel icon indicating copy to clipboard operation
composable_kernel copied to clipboard
verified publisher icon ROCmSoftwarePlatform

github allow "merge" PR even CI is not finished

Open asroy opened this issue 3 years ago • 0 comments

For some reason, if CI passed previously for a old commit, github will allow "merge" option, even new CI of new commit is not finished.

image image

asroy avatar May 07 '22 19:05 asroy