From 0272f7e44bd4c753add84ba0c88f33110505fd04 Mon Sep 17 00:00:00 2001 From: Morilli <35152647+Morilli@users.noreply.github.com> Date: Thu, 20 Mar 2025 21:04:22 +0100 Subject: [PATCH] CI: remove waterbox push build trigger cores will still be built, there's no need to build waterbox explicitly as well --- .github/workflows/waterbox.yml | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/.github/workflows/waterbox.yml b/.github/workflows/waterbox.yml index 2e73ab8798..5a8864dd36 100644 --- a/.github/workflows/waterbox.yml +++ b/.github/workflows/waterbox.yml @@ -1,14 +1,6 @@ name: Build Waterbox -on: - pull_request: - branches: [ "master" ] - paths: [ "waterbox/libcxx/**", "waterbox/musl/**" ] - push: - branches: [ "master" ] - paths: [ "waterbox/libcxx/**", "waterbox/musl/**" ] - workflow_dispatch: - workflow_call: +on: [workflow_dispatch, workflow_call] concurrency: group: ${{ github.workflow }}-${{ github.ref }}-waterbox