run CI workflow on push

simdjson · Jun 8, 2024 · d0c4330 · d0c4330
1 parent ffc7f14
commit d0c4330
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [ pull_request ]
+on: [ push, pull_request ]
 
 jobs:
   build: