Add push to ci.yaml

RReverser · Jan 11, 2024 · 60f0dcc · 60f0dcc
1 parent 504eb55
commit 60f0dcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,5 +1,5 @@
 name: CI
-on: merge_group
+on: [merge_group, push]
 
 jobs: