Skip to content

ci: cut duplicated and redundant work - #177

Merged
Mearman merged 2 commits into
mainfrom
ci/dedupe-work
Nov 3, 2026
Merged

ci: cut duplicated and redundant work#177
Mearman merged 2 commits into
mainfrom
ci/dedupe-work

ci: skip the run on main for a tree its pull request already passed

175d1b6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar