From 0f6c8b55f73917f1361f9944580199c15167a1a2 Mon Sep 17 00:00:00 2001 From: Ian Anderson Date: Fri, 21 Apr 2023 14:20:30 -0400 Subject: [PATCH] Remove pull request action It looks like merging a pull request generates a push, so we shouldn't need to trigger this action on pull requests at all. --- .github/workflows/go.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/go.yml b/.github/workflows/go.yml index c380329..707f17e 100644 --- a/.github/workflows/go.yml +++ b/.github/workflows/go.yml @@ -6,14 +6,10 @@ name: Go on: push: branches: [ "master" ] - pull_request: - types: [ closed ] - branches: [ "master" ] jobs: build: - if: github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) runs-on: ubuntu-latest steps: - uses: actions/checkout@v3