diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6798e248d0..ee973b9cef 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -4,7 +4,17 @@ on: push: branches: - master # run for the master branch + paths: + - conjure-cp.cabal + - Makefile + - src/** + - etc/build/** pull_request: # and for PRs + paths: + - conjure-cp.cabal + - Makefile + - src/** + - etc/build/** # other branches that want testing must create a PR jobs: diff --git a/.github/workflows/solvers.yml b/.github/workflows/solvers.yml index 4e8417aa7f..80bc97de9e 100644 --- a/.github/workflows/solvers.yml +++ b/.github/workflows/solvers.yml @@ -4,7 +4,13 @@ on: push: branches: - master # run for the master branch + paths: + - etc/build/install*.sh + - Makefile pull_request: # and for PRs + paths: + - etc/build/install*.sh + - Makefile # other branches that want testing must create a PR jobs: diff --git a/.github/workflows/test-coverage.yml b/.github/workflows/test-coverage.yml index 67b92f5625..20a5686351 100644 --- a/.github/workflows/test-coverage.yml +++ b/.github/workflows/test-coverage.yml @@ -4,6 +4,12 @@ on: push: branches: - master # run for the master branch only + paths: + - conjure-cp.cabal + - Makefile + - src/** + - tests/** + - etc/build/** jobs: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 811acdda8e..55165a28db 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -4,7 +4,19 @@ on: push: branches: - master # run for the master branch + paths: + - conjure-cp.cabal + - Makefile + - src/** + - tests/** + - etc/build/** pull_request: # and for PRs + paths: + - conjure-cp.cabal + - Makefile + - src/** + - tests/** + - etc/build/** # other branches that want testing must create a PR jobs: