Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typing for explore argument #30734

Merged
merged 1 commit into from
Feb 2, 2023
Merged

Conversation

cool-RR
Copy link
Contributor

@cool-RR cool-RR commented Nov 29, 2022

Signed-off-by: Ram Rachum ram@rachum.com

Since the explore argument can accept the value None, it can't be just bool. I fixed it to Optional[bool].

Signed-off-by: Ram Rachum <ram@rachum.com>
@stale
Copy link

stale bot commented Dec 31, 2022

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed in 14 days if no further activity occurs. Thank you for your contributions.

  • If you'd like to keep this open, just leave any comment, and the stale label will be removed.

@stale stale bot added the stale The issue is stale. It will be closed within 7 days unless there are further conversation label Dec 31, 2022
@cool-RR
Copy link
Contributor Author

cool-RR commented Dec 31, 2022 via email

@stale stale bot removed the stale The issue is stale. It will be closed within 7 days unless there are further conversation label Dec 31, 2022
@stale
Copy link

stale bot commented Feb 2, 2023

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed in 14 days if no further activity occurs. Thank you for your contributions.

  • If you'd like to keep this open, just leave any comment, and the stale label will be removed.

@stale stale bot added the stale The issue is stale. It will be closed within 7 days unless there are further conversation label Feb 2, 2023
@cool-RR
Copy link
Contributor Author

cool-RR commented Feb 2, 2023

I hope that this PR will be reviewed.

@richardliaw richardliaw removed the stale The issue is stale. It will be closed within 7 days unless there are further conversation label Feb 2, 2023
Copy link
Contributor

@sven1977 sven1977 left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks for the fix @cool-RR !

@sven1977 sven1977 merged commit 29cd2fa into ray-project:master Feb 2, 2023
edoakes pushed a commit to edoakes/ray that referenced this pull request Mar 22, 2023
Signed-off-by: Ram Rachum <ram@rachum.com>
Signed-off-by: Edward Oakes <ed.nmi.oakes@gmail.com>
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.

4 participants