Skip to content

Restrict push trigger to master to avoid duplicate CI runs#227

Merged
pamil merged 1 commit into
masterfrom
ci/avoid-duplicate-workflow-runs
Jun 12, 2026
Merged

Restrict push trigger to master to avoid duplicate CI runs#227
pamil merged 1 commit into
masterfrom
ci/avoid-duplicate-workflow-runs

Commits

Commits on Jun 12, 2026