From 4582b3446c7e96076f7b945d04679c69a3392b3c Mon Sep 17 00:00:00 2001 From: Joachim Wiberg Date: Fri, 9 Jun 2023 00:42:25 +0200 Subject: [PATCH] .github: drop this job from regular branches and run after merge We want Reggie to take most of the hits, then we sail in and build after the PR has been merged so we can upload new "Nightly" images. Signed-off-by: Joachim Wiberg --- .github/workflows/build.yml | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 40d8da97..9a8b38c8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,22 +1,16 @@ name: Bob the Builder -#on: -# push: -# branches: -# - '*' -# pull_request: -# branches: -# - '*' on: - pull_request_review: + pull_request: + branches: + - main types: - - submitted - closed workflow_dispatch: jobs: build: - if: github.event.review.state == 'approved' || github.event_name == 'workflow_dispatch' + if: ${{ github.event.pull_request.merged }} || github.event_name == 'workflow_dispatch' name: Build ${{ matrix.platform }} ${{ matrix.variant }} runs-on: ubuntu-latest strategy: