diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8d10819..6461a06 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,11 @@ name: CI on: + # We run the CI checks on any pull request updates or pushes to the main branch after PR merge. pull_request: + push: + branches: + - main jobs: ci: