Skip to content

CI: one run per commit (push builds main only) - #1432

Merged
Jammy2211 merged 1 commit into
mainfrom
feature/ci-dedupe
Jul 30, 2026
Merged

CI: one run per commit (push builds main only)#1432
Jammy2211 merged 1 commit into
mainfrom
feature/ci-dedupe

ci: one run per commit — PR events carry CI; pushes build main only

42a1328
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar