Run CI on push

anacrolix · anacrolix · commit cb7d5b138776 · 2024-07-19T09:03:33.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:
