diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index c5806d0..3af2bfd 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,10 @@ 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 permissions: contents: read jobs: