Python typing followup to #10048#10120

peterbell10 merged 2 commits into

triton-lang:maintriton-lang/triton:mainfrom

leijurv:typing-followupleijurv/triton:typing-followupCopy head branch name to clipboard