From bc624751ed9a13a37c15bb18fb1bdb42f6a6ccda Mon Sep 17 00:00:00 2001
From: "Paulo F. Oliveira" <paulo.ferraz.oliveira@gmail.com>
Date: Tue, 21 May 2024 19:35:16 +0100
Subject: [PATCH] Be less wasteful of CI

---
 .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 d003815..639c440 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 ---
 name: build
-on: [push, pull_request]
+on: [push]
 jobs:
   ci:
     name: Run checks and tests over ${{matrix.otp_vsn}}