Skip to content

ci: run the empty-diff gate only on pull requests - #113

Merged
Jaro-c merged 1 commit into
mainfrom
ci/guard-empty-diff-to-pull-request
Aug 11, 2026
Merged

ci: run the empty-diff gate only on pull requests#113
Jaro-c merged 1 commit into
mainfrom
ci/guard-empty-diff-to-pull-request

Commits

Commits on Aug 11, 2026