Closed njzjz closed 1 year ago
I've cherry-picked your commit and moved it to #190 to also fix some other CI checks. We'll track progress over there if you don't mind :)
thank you for adding this fix @njzjz :slightly_smiling_face: it's getting folded into #190 but you should still get contribution credit :sunglasses:
I've cherry-picked your commit and moved it to #190 to also fix some other CI checks. We'll track progress over there if you don't mind :)