ci/check-shell: only run if shell.nix or ./ci/** is changed

saves a bit of CI time
This commit is contained in:
Jörg Thalheim 2024-11-29 23:34:12 +01:00
parent 82434f382c
commit cb016f116b

View File

@ -2,6 +2,9 @@ name: "Check shell"
on:
pull_request_target:
paths:
- 'shell.nix'
- './ci/**'
permissions: {}