From 93a8b46dbe24ff656496c22caed52f0fd90289eb Mon Sep 17 00:00:00 2001 From: Roman Melnikov Date: Mon, 2 Sep 2024 11:31:15 +0200 Subject: [PATCH] [Chore] Run CI on pull requests Problem: Currently, GA pipeline is only triggered by pushes to branches within the repo. As a result, CI is never triggered for PRs from forks. Solution: Run CI on pull requests and pushes to 'master' 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 9e8bf63..ab16e5d 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -3,7 +3,10 @@ # SPDX-License-Identifier: MPL-2.0 name: nix flake check -on: push +on: + pull_request: + push: + branches: master jobs: check: