Skip to content

Conversation

@Serhiy1
Copy link
Contributor

@Serhiy1 Serhiy1 commented Jul 25, 2022

Problem:
initial type annotation implementation was incomplete and has rotted

Solution:
Fix the type annotations and add task workflows to run them

signed-off-by: serhiy1 serhiy1@live.co.uk

@Serhiy1 Serhiy1 force-pushed the dev/serhiy/annotations branch from 448cc92 to 8c82193 Compare July 25, 2022 08:45
@Serhiy1 Serhiy1 requested a review from eccles July 25, 2022 08:46
@Serhiy1 Serhiy1 changed the title Fix type annotations and workflows to facilitate them Fix type annotations and add workflows to facilitate them Jul 25, 2022
Copy link
Contributor

@eccles eccles left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM - please do a

 git pull --rebase origin main
 git push -f

and I will approve

Problem:
initial type annotation implementation was incomplete and has rotted

Solution:
Fix the type annotations and add task workflows to run it

signed-off-by: serhiy1 <serhiy1@live.co.uk>
@Serhiy1 Serhiy1 force-pushed the dev/serhiy/annotations branch from 8c82193 to da45e20 Compare July 25, 2022 13:11
Copy link
Contributor

@eccles eccles left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pleaae do a 'Rebase and Merge#

@Serhiy1 Serhiy1 merged commit 527fa6c into main Jul 25, 2022
@Serhiy1 Serhiy1 deleted the dev/serhiy/annotations branch July 25, 2022 13:39
@Serhiy1 Serhiy1 mentioned this pull request Jul 27, 2022
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.

3 participants