Interface WorkflowPatcher

WorkflowPatcher(key: string, value: string | number): JsonPatch | undefined
Parameters
- key: string
- value: string | number
Returns JsonPatch | undefined
- Defined in packages/construct/awscdk/github-pipeline/src/workflow.ts:73
WorkflowPatcher(
    this: GithubWorkflowPipeline,
    key: string,
    value: string | number,
): JsonPatch | undefined
Parameters
- this: GithubWorkflowPipeline
- key: string
- value: string | number
Returns JsonPatch | undefined
- Defined in packages/construct/awscdk/github-pipeline/src/workflow.ts:74