chore(ci): on push ci vs on pr

This commit is contained in:
2026-07-29 05:04:34 +02:00
parent f91587a767
commit b629e042b2
+1 -1
View File
@@ -1,7 +1,7 @@
name: Format, lint, typecheck & build
on:
pull_request:
push:
branches: ["master"]
jobs: