From 4b96e21b7c80a92805d70ef979a7d800df20d1cb Mon Sep 17 00:00:00 2001 From: Jakub Stasiak Date: Wed, 13 Dec 2023 22:53:26 +0100 Subject: [PATCH] Reduce repetitive CI builds when pushing to the main repository (#241) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit I like to push branches to the upstream repository and create PRs from that. With the previous configuration all jobs were triggered twice – once for the push event, once for the pull_request event. That was wasting resources and creating noise in the PRs. --- .github/workflows/ci.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0105e73..ff9e31a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,10 @@ name: CI -on: [push, pull_request] +on: + push: + branches: + - master + pull_request: jobs: build: