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 and Description
interface	PullRequestTargetOptions (experimental) Pull request target options.

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

Modifier and Type	Class and Description
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 and 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 and Description
Triggers.Builder	Triggers.Builder.push(PushOptions push) Sets the value of Triggers.getPush()