diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2656548..b837cb7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: CI
 
 on:
   push:
-    branches: ["main"] # replace "main" with the default branch
+  merge_group: 
   pull_request:
     branches: ["main"]
   workflow_dispatch:
@@ -10,9 +10,8 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       # uses lean standard action with all default input values
       - uses: leanprover/lean-action@v1
         with: