Uses of Interface
io.github.cdklabs.projen.GitpodPrebuilds

Packages that use GitpodPrebuilds

Package	Description
io.github.cdklabs.projen	projen

Uses of GitpodPrebuilds in io.github.cdklabs.projen

Classes in io.github.cdklabs.projen that implement GitpodPrebuilds

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

Methods in io.github.cdklabs.projen that return GitpodPrebuilds

Modifier and Type	Method and Description
GitpodPrebuilds	GitpodPrebuilds.Builder.build() Builds the configured instance.
default GitpodPrebuilds	GitpodOptions.getPrebuilds() (experimental) Optional Gitpod's Github App integration for prebuilds If this is not set and Gitpod's Github App is installed, then Gitpod will apply these defaults: https://www.gitpod.io/docs/prebuilds/#configure-the-github-app.
GitpodPrebuilds	GitpodOptions.Jsii$Proxy.getPrebuilds()

Methods in io.github.cdklabs.projen with parameters of type GitpodPrebuilds

Modifier and Type	Method and Description
void	Gitpod.addPrebuilds(GitpodPrebuilds config) (experimental) Add a prebuilds configuration for the Gitpod App.
Gitpod.Builder	Gitpod.Builder.prebuilds(GitpodPrebuilds prebuilds) (experimental) Optional Gitpod's Github App integration for prebuilds If this is not set and Gitpod's Github App is installed, then Gitpod will apply these defaults: https://www.gitpod.io/docs/prebuilds/#configure-the-github-app.
GitpodOptions.Builder	GitpodOptions.Builder.prebuilds(GitpodPrebuilds prebuilds) Sets the value of GitpodOptions.getPrebuilds()