From 6902102355cdba8d198cedd71f4638fca07f43ee Mon Sep 17 00:00:00 2001
From: Ivan Gromakovskii <gie1994@gmail.com>
Date: Mon, 8 Jul 2024 13:55:48 +0200
Subject: [PATCH] Trigger CI on push to master and on PR

Problem: CI is triggered only on push, so it won't work in case of
PRs from forks.
Solution: trigger it on PRs as well. Trigger on push only when the
branch is master.
If you want to run on push to your feature branch, you can edit
check.yml in your branch.
---
 .github/workflows/check.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index dd402da..31a2e8d 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -2,7 +2,10 @@
 #
 # SPDX-License-Identifier: MPL-2.0
 name: Nix flake check
-on: push
+on:
+  pull_request:
+  push:
+      branches: master
 
 jobs:
   validate: