You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@buildstream.apache.org by GitBox <gi...@apache.org> on 2021/11/04 07:58:48 UTC

[GitHub] [buildstream] juergbi opened a new pull request #1534: .github/workflows/ci.yml: Drop push trigger, add workflow_dispatch

juergbi opened a new pull request #1534:
URL: https://github.com/apache/buildstream/pull/1534


   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.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@buildstream.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org



[GitHub] [buildstream] juergbi merged pull request #1534: .github/workflows/ci.yml: Drop push trigger, add workflow_dispatch

Posted by GitBox <gi...@apache.org>.
juergbi merged pull request #1534:
URL: https://github.com/apache/buildstream/pull/1534


   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@buildstream.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org