From 801ad1ac42890e5f416cea2fd724b174a6fb68cc Mon Sep 17 00:00:00 2001
From: Benjamin Morel <benjamin.morel@gmail.com>
Date: Thu, 8 Feb 2024 00:26:15 +0100
Subject: [PATCH] Prevent push and pull_request from running at the same time

See: https://github.com/orgs/community/discussions/26276
---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ae01319..cca286c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ name: CI
 
 on:
   push:
+    branches:
+      - master
   pull_request:
 
 jobs: