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: