Skip to content

Support custom triggers for ci#895

Open
eejbyfeldt wants to merge 1 commit into
typelevel:mainfrom
eejbyfeldt:customize-triggers
Open

Support custom triggers for ci#895
eejbyfeldt wants to merge 1 commit into
typelevel:mainfrom
eejbyfeldt:customize-triggers

Conversation

@eejbyfeldt

@eejbyfeldt eejbyfeldt commented Jun 5, 2026

Copy link
Copy Markdown

This patch introduced githubWorkflowTriggers that allows more control of
the on: trigger part of the ci.yml. To maintain backwards
compatibility with existing usage the default value is derived from the
existing keys.

Fixes: #807

This patch introduced githubWorkflowTriggers that allows full control of
the `on:` trigger part of the ci.yml. To maintain backwards
compatibility with existing usage the default value is derived from the
existing keys.
@eejbyfeldt eejbyfeldt force-pushed the customize-triggers branch from 2c2b51c to 264aab3 Compare June 5, 2026 08:13
@eejbyfeldt eejbyfeldt marked this pull request as ready for review June 5, 2026 08:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Customize on: triggers (separate push and pull_request triggers)

2 participants