From 10da631da28eb96f39693450863b44962147ab28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ant=C3=B3n=20Casas?= Date: Wed, 11 Jun 2025 12:54:49 +0200 Subject: [PATCH] Add manual trigger to CI MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Antón Casas --- .github/workflows/ci.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7234dd5..fcf7924 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: