diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 22b04af23..5b9b0797e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,5 +1,8 @@ name: CI -on: [pull_request] +on: + push: + branches: [master] + pull_request: jobs: lint: