Skip to content

Conversation

Poolitzer
Copy link
Member

No description provided.

@Bibo-Joshi Bibo-Joshi mentioned this pull request Mar 8, 2020
@Poolitzer Poolitzer changed the title Update bot.py static typing workflow test Mar 9, 2020
@Poolitzer Poolitzer added the 📋 do-not-merge-yet work status: do-not-merge-yet label Mar 9, 2020
@Bibo-Joshi Bibo-Joshi force-pushed the type_hinting_master branch from 64422af to 8e9f066 Compare April 25, 2020 17:44
@Bibo-Joshi
Copy link
Member

Closing in favor of #1920

@Bibo-Joshi Bibo-Joshi closed this Apr 25, 2020
@Bibo-Joshi Bibo-Joshi deleted the workflow_test branch June 6, 2020 10:53
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 17, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
📋 do-not-merge-yet work status: do-not-merge-yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants