Uses of Interface
io.github.cdklabs.cdkpipelines.github.PushOptions

Uses of PushOptions in io.github.cdklabs.cdkpipelines.github

Subinterfaces of PushOptions in io.github.cdklabs.cdkpipelines.github

Modifier and Type	Interface	Description
interface	PullRequestTargetOptions	Pull request target options.

Classes in io.github.cdklabs.cdkpipelines.github that implement PushOptions

Modifier and Type	Class	Description
static class	PullRequestTargetOptions.Jsii$Proxy	An implementation for PullRequestTargetOptions
static class	PushOptions.Jsii$Proxy	An implementation for PushOptions

Methods in io.github.cdklabs.cdkpipelines.github that return PushOptions

Modifier and Type	Method	Description
PushOptions	PushOptions.Builder.build()	Builds the configured instance.
default PushOptions	WorkflowTriggers.getPush()	Runs your workflow when someone pushes to a repository branch, which triggers the push event.
PushOptions	WorkflowTriggers.Jsii$Proxy.getPush()

Methods in io.github.cdklabs.cdkpipelines.github with parameters of type PushOptions

Modifier and Type	Method	Description
WorkflowTriggers.Builder	WorkflowTriggers.Builder.push(PushOptions push)	Sets the value of WorkflowTriggers.getPush()