diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b683dcfa8..4739d1d51 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,7 +1,7 @@ name: CI # base_ref / head_reaf are only available in PRs -on: [pull_request] +on: [pull_request, push] jobs: dsl_ci: