From 823f1c5b6a63403eae05c9f34bfd470fc78e2405 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Wed, 25 Jan 2023 14:45:07 -0800 Subject: [PATCH] Avoid duplicate CI runs triggered by pushes to pull requests (#2178) https://github.com/charliermarsh/ruff/pull/2157#discussion_r1087179996 Signed-off-by: Anders Kaseorg Signed-off-by: Anders Kaseorg --- .github/workflows/ci.yaml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 93afd0b02414f..ae2396224b744 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,10 @@ name: CI -on: [push, pull_request, workflow_dispatch] +on: + push: + branches: [main] + pull_request: + workflow_dispatch: concurrency: group: ${{ github.workflow }}-${{ github.ref_name }}-${{ github.event.pull_request.number || github.sha }}