Skip to content

Commit

Permalink
Update planner_plugin param to planner_plugins param
Browse files Browse the repository at this point in the history
  • Loading branch information
sjahr committed Oct 23, 2023
1 parent d987bfc commit 09fb0fd
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
planning_pipeline_parameters:
planning_plugin: {
type: string,
planning_plugins: {
type: string_array,
description: "Name of the planner plugin used by the pipeline",
read_only: true,
default_value: "UNKNOWN",
default_value: ["UNKNOWN"],
}
request_adapters: {
type: string_array,
Expand Down

0 comments on commit 09fb0fd

Please sign in to comment.