diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml index e77edf2e0..c4a68ca2b 100644 --- a/.github/workflows/master.yml +++ b/.github/workflows/master.yml @@ -3,6 +3,8 @@ name: CI on: pull_request: push: + branches: + - master jobs: cabal: