diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d0fc5e902c..a62916b8ce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,10 +8,11 @@ name: Ibex CI on: push: - branches: - - "*" tags: - "*" + merge_group: + types: + - checks_requested pull_request: branches: - "*" diff --git a/.github/workflows/pr_lint.yml b/.github/workflows/pr_lint.yml index d88689fa1a..91eeb1e497 100644 --- a/.github/workflows/pr_lint.yml +++ b/.github/workflows/pr_lint.yml @@ -10,7 +10,12 @@ name: pr-lint # Triggers when there is any activity on a pull request, e.g. opened, updated. on: + merge_group: + types: + - checks_requested pull_request: + branches: + - "*" jobs: verible-lint: