From 8bace89c3f8190e3d65e6bbd8c795a02fb0e1fda Mon Sep 17 00:00:00 2001 From: Jack Grigg Date: Thu, 5 Oct 2023 20:06:36 +0000 Subject: [PATCH] CI: Only run CI workflow once per PR The previous configuration would run CI twice for every PR, on: - The merge commit with the base branch. - The tip commit of the PR branch. The latter is only useful for debugging. However, we still want to run CI directly on the `master` branch, to ensure that any PRs with runtime conflicts but not code conflicts get tested in combination. --- .github/workflows/audits.yml | 5 ++++- .github/workflows/ci.yml | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/audits.yml b/.github/workflows/audits.yml index 648a1f0b9c3..dcc8e60a5cc 100644 --- a/.github/workflows/audits.yml +++ b/.github/workflows/audits.yml @@ -1,6 +1,9 @@ name: Audits -on: [push, pull_request] +on: + pull_request: + push: + branches: master permissions: contents: read diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6ef4d538c6e..7b88af29784 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,9 @@ name: CI -on: [push, pull_request] +on: + pull_request: + push: + branches: master jobs: build: