jeremiedbb
diff --git a/‎build_tools/github/check_build_trigger.sh
Copy file name to clipboardExpand all lines: build_tools/github/check_build_trigger.sh
+1Lines changed: 1 addition & 0 deletions b/‎build_tools/github/check_build_trigger.sh
Copy file name to clipboardExpand all lines: build_tools/github/check_build_trigger.sh
+1Lines changed: 1 addition & 0 deletions
@@ -7,6 +7,7 @@ COMMIT_MSG=$(git log --no-merges -1 --oneline)
 
 # The commit marker "[cd build]" or "[cd build gh]" will trigger the build when required
 if [[ "$GITHUB_EVENT_NAME" == schedule ||
+      "$GITHUB_EVENT_NAME" == workflow_dispatch ||
       "$COMMIT_MSG" =~ \[cd\ build\] ||
       "$COMMIT_MSG" =~ \[cd\ build\ gh\] ]]; then
     echo "build=true" >> $GITHUB_OUTPUT