Skip to content

chore: correct type-hint for job.trace()#2868

Merged
nejch merged 1 commit intomainfrom
jlvillal/issue_2808
May 17, 2024
Merged

chore: correct type-hint for `job.trace()`#2868
nejch merged 1 commit intomainfrom
jlvillal/issue_2808

Commits

Commits on May 17, 2024