diff options
| author | Roman Melnikov | 2023-09-18 12:40:24 +0200 |
|---|---|---|
| committer | Roman Melnikov | 2023-09-18 12:40:24 +0200 |
| commit | 5617d39d3a685539372260a8c38ee68a0abbc203 (patch) | |
| tree | 670cf038a673aa68438034370810be9ebda39b4f | |
| parent | 57d5071e60c1318ec27eb987f96504ce3d58cb34 (diff) | |
[Chore] Run CI checks on 'pull_request'
Problem: We want to be able to run CI checks on PRs from external forks.
However, this is only possible with 'on: pull_request', while currently
CI is triggered 'on: push'
Solution: Change CI triggering condition to 'on: pull_request'.
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/check.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 0a0642f..68124a5 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -1,5 +1,5 @@ name: Nix flake check -on: push +on: pull_request jobs: check: |