Skip to content

Run CI on pushes to main, not only pull requests#44

Merged
TheRealDinghyDog merged 1 commit into
mainfrom
ci/main-push-trigger
Jul 14, 2026
Merged

Run CI on pushes to main, not only pull requests#44
TheRealDinghyDog merged 1 commit into
mainfrom
ci/main-push-trigger

Commits

Commits on Jul 14, 2026