Interface WorkflowPatcher

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