Skip to content

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

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

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

Commits

Commits on Jul 30, 2026