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

Throw error if a time parameterization planning request adapter is not loaded #2145

Closed
AndyZe opened this issue Apr 27, 2023 · 2 comments · Fixed by #2429
Closed

Throw error if a time parameterization planning request adapter is not loaded #2145

AndyZe opened this issue Apr 27, 2023 · 2 comments · Fixed by #2429
Labels
enhancement New feature or request persistent Allows issues to remain open without automatic stalling and closing.

Comments

@AndyZe
Copy link
Member

AndyZe commented Apr 27, 2023

A good error would have saved this user some time:

#2140

@AndyZe AndyZe added the enhancement New feature or request label Apr 27, 2023
@AndyZe AndyZe changed the title Throw a nice error if a time parameterization planning request adapter is not loaded Throw error if a time parameterization planning request adapter is not loaded Apr 27, 2023
@github-actions
Copy link

This issue is being labeled as stale because it has been open 45 days with no activity. It will be automatically closed after another 45 days without follow-ups.

@github-actions github-actions bot added the stale Inactive issues and PRs are marked as stale and may be closed automatically. label Jun 12, 2023
@github-actions
Copy link

github-actions bot commented Aug 2, 2023

This issue was closed because it has been stalled for 45 days with no activity.

@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Aug 2, 2023
@sjahr sjahr reopened this Aug 15, 2023
@sjahr sjahr added persistent Allows issues to remain open without automatic stalling and closing. and removed stale Inactive issues and PRs are marked as stale and may be closed automatically. labels Aug 15, 2023
@sjahr sjahr linked a pull request Oct 23, 2023 that will close this issue
4 tasks
@github-project-automation github-project-automation bot moved this to ✅ Done in MoveIt Nov 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request persistent Allows issues to remain open without automatic stalling and closing.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants