CI on push

ClashLuke · ClashLuke · commit e3bd3cc15727 · 2025-09-21T17:34:25.000+02:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -3,6 +3,8 @@ name: Continuous integration
 on:
   pull_request:
   workflow_dispatch:
+  push:
+    branches: [ main ]
 
 jobs:
   pre-commit:
