[buildstream] 01/01: .github/workflows/ci.yml: Drop push trigger, add workflow_dispatch

[ju...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

juergbi pushed a commit to branch juerg/ci
in repository https://gitbox.apache.org/repos/asf/buildstream.git

commit 17aa96c6462910ae2423c50f111c36c8ed4ab78d
Author: Jürg Billeter <j...@bitron.ch>
AuthorDate: Thu Nov 4 08:46:45 2021 +0100

    .github/workflows/ci.yml: Drop push trigger, add workflow_dispatch
    
    Triggering the workflow on both `push` and `pull_request` leads to
    redundant workflow runs despite the concurrency configuration.
    
    Drop the `push` trigger to prevent this while still triggering workflows
    on all pull requests (including forks).
    
    Add the `workflow_dispatch` trigger as alternative for branches in the
    main repository without an open PR. The downside is that this trigger is
    manual.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index de72b20..100fb2b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,8 +4,8 @@ name: PR Checks
 # redundant, we avoid concurrency with the below configuration.
 #
 on:
-  push:
   pull_request:
+  workflow_dispatch:
 
 # Use the concurrency feature to ensure we don't run redundant workflows
 #