Uses of Interface
io.github.cdklabs.projen.github.workflows.PushOptions

Packages that use PushOptions

Package	Description
io.github.cdklabs.projen.github.workflows

Uses of PushOptions in io.github.cdklabs.projen.github.workflows

Subinterfaces of PushOptions in io.github.cdklabs.projen.github.workflows

Modifier and Type	Interface	Description
interface	PullRequestOptions	(experimental) Pull request options.
interface	PullRequestTargetOptions	(experimental) Pull request target options.

Classes in io.github.cdklabs.projen.github.workflows that implement PushOptions

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

Methods in io.github.cdklabs.projen.github.workflows that return PushOptions

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

Methods in io.github.cdklabs.projen.github.workflows with parameters of type PushOptions

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