From 025a8cdee8e334a9d67c84557c1116f1da43ab5f Mon Sep 17 00:00:00 2001 From: Marius Butz Date: Sat, 9 May 2026 23:08:17 +0200 Subject: [PATCH] ci: add temporary workflow dispatch trigger --- .github/workflows/build-check.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build-check.yml b/.github/workflows/build-check.yml index 55d242b5..855278a7 100644 --- a/.github/workflows/build-check.yml +++ b/.github/workflows/build-check.yml @@ -3,6 +3,7 @@ name: Build check on: pull_request: types: [opened, synchronize, reopened, ready_for_review] + workflow_dispatch: # TODO: remove before opening upstream PR # Cancel superseded runs on the same PR. concurrency: