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

@@ -2,7 +2,10 @@
 #
 # SPDX-License-Identifier: MPL-2.0
 name: Nix flake check
-on: push
+on:
+  pull_request:
+  push:
+      branches: master
 
 jobs:
   validate: