diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d0dd26997..269c14917 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -10,6 +10,7 @@ on: - Makefile - src/** - etc/build/** + - etc/hs-deps/** - .github/workflows/build.yml pull_request: # and for PRs paths: @@ -17,6 +18,7 @@ on: - Makefile - src/** - etc/build/** + - etc/hs-deps/** - .github/workflows/build.yml # other branches that want testing must create a PR