From f195eb16fcbaea17a7182a6655aeb92924b1907b Mon Sep 17 00:00:00 2001
From: Gregor Grigorjan <gregor@grigorjan.net>
Date: Thu, 27 Jun 2024 13:04:23 +0300
Subject: [PATCH] feat(ci): run on pull requests

Only on branches from forks, though - to avoid duplicate workflow
runs, as workflows on branches in this GitHub repository are already triggered
by the `push` clause
---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index f27a2cf1..5974ea8a 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -2,9 +2,11 @@ name: ci
 
 on:
   push:
+  pull_request:
 
 jobs:
   build:
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork
     runs-on: ubuntu-latest
     permissions:
       contents: write