Closed yanganto closed 7 months ago
Fix typo ci issue for #230
@dr-orlovsky Please be kindly reminded. This PR will go into v0.11 not master, and solve the trivial CI issues.
v0.11
master
Fix typo ci issue for #230