From 6cd8c62942fb4a9f472ed44f81e733e8cdeb2e78 Mon Sep 17 00:00:00 2001 From: Kai Lueke Date: Tue, 28 Jun 2022 11:19:13 +0200 Subject: [PATCH] .github: Run CI workflow only for PR events Building for the branch push event causes two builds per PR and is not needed anyway (we have nightly builds for the main branch). Only consider PR events to trigger the CI build. --- .github/workflows/ci.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 0e02f5620b..43666ccd98 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,5 @@ name: "Run build" on: - push: pull_request: workflow_dispatch: inputs: