From 3247eaf223faab98dd85734b15e17a1d6b9b988f Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Mon, 7 Jun 2021 16:22:24 +0200
Subject: [PATCH] Update coq-action.yml

---
 .github/workflows/coq-action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
       - '**'