Add workflow dispatch (#57)

ethz-asl · Dec 11, 2024 · 61069e5 · 61069e5
1 parent 2f3e0a5
commit 61069e5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/build_test.yml b/.github/workflows/build_test.yml
@@ -7,6 +7,12 @@ on:
   pull_request:
     branches:
     - '*'
+  workflow_dispatch:
+    inputs:
+      tags:
+        description: 'This does nothing'
+        required: false
+        type: boolean
 
 jobs:
   build: