Uses of Record Class
com.github.copilot.generated.rpc.WorkflowToolRunOptions

Packages that use WorkflowToolRunOptions

Package	Description
com.github.copilot.generated.rpc	Auto-generated RPC parameter and result types for the GitHub Copilot SDK.

Uses of WorkflowToolRunOptions in com.github.copilot.generated.rpc

Methods in com.github.copilot.generated.rpc that return WorkflowToolRunOptions

Modifier and Type	Method	Description
WorkflowToolRunOptions	SessionWorkflowRunFromToolParams.options()	Returns the value of the options record component.

Constructors in com.github.copilot.generated.rpc with parameters of type WorkflowToolRunOptions

Modifier	Constructor	Description
	SessionWorkflowRunFromToolParams(String sessionId, String name, Object args, WorkflowToolRunOptions options, String toolCallId)	Creates an instance of a SessionWorkflowRunFromToolParams record class.