diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 17946ce..1b5481f 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -3,7 +3,7 @@ name: CI
 on:
   push:
     branches:
-      - '**'
+      - master
   pull_request:
     branches:
       - '**'