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

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

aae6c60
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Aug 11, 2026 in 36s