Skip to content

ci: filter the push trigger to main, like the other three C libraries - #21

Merged
rowan-claude merged 1 commit into
mainfrom
ci/filter-push-trigger
Jul 26, 2026
Merged

ci: filter the push trigger to main, like the other three C libraries#21
rowan-claude merged 1 commit into
mainfrom
ci/filter-push-trigger

Commits

Commits on Jul 26, 2026