From b15e765f5bda1e9aa24351e695362ad5df1dc4d0 Mon Sep 17 00:00:00 2001
From: Michael Nedzelsky <mikhail.nedzelskii@diffblue.com>
Date: Wed, 22 May 2024 11:26:13 +0100
Subject: [PATCH] Run CI on PR only on pull_request and on main branch on push

---
 .github/workflows/ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9249cb5..2d09c7e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,10 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches:
+      - main
 
 jobs:
   build: