From fefbf46e2e305883969918b7b358a30d3cbd892b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ant=C3=B3n=20Casas?= Date: Wed, 11 Jun 2025 14:05:09 +0200 Subject: [PATCH] Add manual trigger to CI (#85) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Antón Casas (cherry picked from commit 4203aacb048b84d859c99006f5a74265cec57753) --- .github/workflows/ci.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 54e8b7e..428c186 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,11 @@ on: pull_request: branches: - '**' + workflow_dispatch: + inputs: + name: + description: "Manual trigger" + jobs: micro_ros_demos: