Interface PipelineTrigger

interface PipelineTrigger {
    trigger?:
        | { $case: "manual"; manual: ManualTrigger }
        | { $case: "cron"; cron: CronTrigger };
}