Skip to content

ci: don't run on push to main, only on PRs#4

Merged
miguelgfierro merged 1 commit into
mainfrom
ci/remove-push-trigger
Apr 28, 2026
Merged

ci: don't run on push to main, only on PRs#4
miguelgfierro merged 1 commit into
mainfrom
ci/remove-push-trigger

Commits

Commits on Apr 28, 2026