Run CI on push

anacrolix · anacrolix · commit 9f5938b6d92c · 2024-07-18T19:10:24.000+10:00
diff --git a/.github/workflows/full_ci.yml b/.github/workflows/full_ci.yml
@@ -1,9 +1,6 @@
 name: full CI
 
-on:
-  merge_group:
-  pull_request:
-    types: [opened, synchronize, reopened]
+on: [push]
 
 jobs:
   docker_linux_tier1:
