X Tutup
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

Conversation

@JohnVillalovos
Copy link
Member

Closes: #2808

@nejch nejch force-pushed the jlvillal/issue_2808 branch from e4f07a4 to 6c3e38d Compare May 17, 2024 11:25
@nejch nejch merged commit 840572e into main May 17, 2024
@nejch nejch deleted the jlvillal/issue_2808 branch May 17, 2024 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Wrong type on job.trace()?

2 participants

X Tutup