chore: fix ci build (#1853)

Co-authored-by: Manu Gupta <manugupt1@gmail.com>
2026-02-03 12:10:32 +00:00 · 2023-03-13 10:23:44 +02:00
parent d663c255ac
commit 47404b0591
1 changed files with 6 additions and 1 deletions
@@ -1,6 +1,11 @@
+---
 name: continuous-integration
+
 on:
-  - pull_request
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]

 jobs:
  lint: