workflows/full-ci: allow manually triggering the workflow

godot-rust · Oct 26, 2024 · d5c73e6 · d5c73e6
1 parent 77db0b2
commit d5c73e6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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: