Skip to content

added type hinting, document string, TODO statements, fixed small typ…#14

Open
Relativiteit wants to merge 2 commits into
mujin:masterfrom
Relativiteit:add-typing-to-functions
Open

added type hinting, document string, TODO statements, fixed small typ…#14
Relativiteit wants to merge 2 commits into
mujin:masterfrom
Relativiteit:add-typing-to-functions

Conversation

@Relativiteit

@Relativiteit Relativiteit commented Apr 23, 2023

Copy link
Copy Markdown

add type hinting, document strings and typo in readme Resolves #13
Please test on linux machine before merging!!

@Relativiteit

Copy link
Copy Markdown
Author

@rdiankov @ziyan @liuhuanjim013 @kanunikov-denys if no longer needed please close :)

@cielavenir

Copy link
Copy Markdown

Currently we need to maintain Python2 as well. This pull request can be considered at least 1 year later.

@Relativiteit

Copy link
Copy Markdown
Author

@cielavenir alright, is there anything else more pressing currently you need help on ?

@cielavenir

Copy link
Copy Markdown

@felixvd @hemangandhi could you check?

@ziyan

ziyan commented Oct 16, 2024

Copy link
Copy Markdown
Member

@cielavenir Do you have a pipeline ID?

@hemangandhi hemangandhi left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Thanks for the type annotations!

Comment thread python/mujinwebstackclient/__init__.py
Comment thread python/mujinwebstackclient/__init__.py
@cielavenir

Copy link
Copy Markdown

@ziyan https://tiny.mujin.co.jp/qarwm

However, since this typing will drop py2 explicitly, @felixvd must approve explicitly.

@felixvd felixvd left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

We have other Python3-style type annotation now, so LGTM!

@cielavenir

Copy link
Copy Markdown

ok to merge after minor syntax is corrected (this is year-old mr so @hemangandhi do you want to take a look at this? i pushed the same name branch to mujin)

@woswos

woswos commented Jan 16, 2026

Copy link
Copy Markdown
Member

Could you please merge latest master?

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.

6 participants