From d5c73e6e0e9c994025826c3d15d0b85c0df7634e Mon Sep 17 00:00:00 2001 From: Lukas Rieger Date: Sat, 26 Oct 2024 22:51:40 +0200 Subject: [PATCH] workflows/full-ci: allow manually triggering the workflow --- .github/workflows/full-ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/full-ci.yml b/.github/workflows/full-ci.yml index 2d32c2694..5b942f713 100644 --- a/.github/workflows/full-ci.yml +++ b/.github/workflows/full-ci.yml @@ -8,6 +8,8 @@ name: Full CI # Runs before merging. Rebases on master to make sure CI passes for latest integration, not only for the PR at the time of creation. on: + # allow manually triggering the workflow (https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch) + workflow_dispatch: merge_group: # push: