https://sourceware.org/git/gitweb.cgi?p=cygwin-apps/cygport.git;h=6d53fa2d4fd9746aec37ee42b26bf608625bd519 commit 6d53fa2d4fd9746aec37ee42b26bf608625bd519 Author: Yaakov Selkowitz <yselkowi@redhat.com> Date: Sun May 10 15:37:15 2020 -0400 CI: only run on pushes to master Without this, pushing a release tag causes the CI to be unnecessarily run twice, once for master branch and once for the tag. Pull requests are not compatible with this repo being only a mirror now, so ignore them. Diff: --- .github/workflows/cygwin.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/cygwin.yml b/.github/workflows/cygwin.yml index 9104dc5..775efcf 100644 --- a/.github/workflows/cygwin.yml +++ b/.github/workflows/cygwin.yml @@ -1,5 +1,8 @@ name: Cygwin -on: [push, pull_request] +on: + push: + branches: + - master env: CASE_INSENSITIVE: 1