[CI] Run jobs on workflow dispatch
diff --git a/.github/workflows/caravan_build.yml b/.github/workflows/caravan_build.yml index b072671..800c030 100644 --- a/.github/workflows/caravan_build.yml +++ b/.github/workflows/caravan_build.yml
@@ -6,6 +6,7 @@ push: # Runs on Pull Requests pull_request: + workflow_dispatch: jobs: make_truck:
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml index 0c81bb9..a7cb6e8 100644 --- a/.github/workflows/user_project_ci.yml +++ b/.github/workflows/user_project_ci.yml
@@ -6,6 +6,7 @@ push: # Runs on Pull Requests pull_request: + workflow_dispatch: jobs: precheck: