From 4431f5088445b642e8670a354c87bf943ca5738b Mon Sep 17 00:00:00 2001
From: Gaetan Semet <gaetan@xeberon.net>
Date: Wed, 19 Jan 2022 09:34:21 +0100
Subject: [PATCH] ci: no pipeline on pull_request

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3cfc9ace6..162105acb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@
 
 name: CI
 
-on: [push, pull_request]
+on: [push]
 
 jobs:
   build: