From 1f75483df045b6486b7067f7eea1e23c814924be Mon Sep 17 00:00:00 2001
From: Javier Arroyo <javier.arroyo@kuleuven.be>
Date: Wed, 18 Oct 2023 15:04:08 +0200
Subject: [PATCH] Run only on pull_requests.

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

diff --git a/.github/workflows/github-actions.yml b/.github/workflows/github-actions.yml
index 0b0f1221d..1aefb1eb0 100644
--- a/.github/workflows/github-actions.yml
+++ b/.github/workflows/github-actions.yml
@@ -1,5 +1,5 @@
 name: CI of IDEAS using GitHub Actions
-on: [push, pull_request]
+on: [pull_request]
 jobs:
   build:
     runs-on: self-hosted