do not merge: close/reopen to trigger the CI#383

ev-br wants to merge 1 commit intodata-apis:maindata-apis/array-api-compat:mainfrom

ev-br:empty-kick-ciev-br/array-api-compat:empty-kick-ciCopy head branch name to clipboard