Skip to content

chore: add type hint check#840

Merged
leahecole merged 1 commit intomasterfrom
type-hint
Nov 5, 2020
Merged

chore: add type hint check#840
leahecole merged 1 commit intomasterfrom
type-hint

Conversation

@leahecole
Copy link
Copy Markdown
Contributor

No description provided.

@leahecole leahecole added the lang: python Issues specific to Python. label Nov 4, 2020
@leahecole leahecole requested a review from a team November 4, 2020 23:56
@google-cla google-cla Bot added the cla: yes This human has signed the Contributor License Agreement. label Nov 4, 2020
@leahecole leahecole merged commit 3d3e94c into master Nov 5, 2020
@kurtisvg kurtisvg deleted the type-hint branch November 5, 2020 17:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla: yes This human has signed the Contributor License Agreement. lang: python Issues specific to Python.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants