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.

Sign up for GitHub

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

Add default timeout to CancelSlaves #40

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Add default timeout to CancelSlaves #40

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
f2f3e77
add default timeout of 10 for CancelSlaves command
May 22, 2024
3fff010
update docstrings
May 22, 2024
e0876e0
Merge branch 'master' into cancelTimeout20240522
Jun 3, 2024
99c09db
Merge branch 'master' of https://github.com/mujin/mujinplanningclient…
Jun 18, 2024
94a94fb
Merge branch 'master' of https://github.com/mujin/mujinplanningclient…
Jul 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' of https://github.com/mujin/mujinplanningclientpy… 
… into cancelTimeout20240522
  • Loading branch information
Jeronimo Rodrigues committed Jun 18, 2024
commit 99c09dbaabf42b5ec4b1436abf5847918408e051

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.