github: add manual workflow trigger

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Nov 18, 2022 · 0ee1ebd · 0ee1ebd
1 parent d1ce579
commit 0ee1ebd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,6 +9,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 jobs:
   build:

diff --git a/.github/workflows/license.yaml b/.github/workflows/license.yaml
@@ -9,6 +9,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 jobs:
   check:
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,6 +9,7 @@ on: @@
         branches:
           - master
       pull_request:
+      workflow_dispatch:
     jobs:
       build:
@@ Expand Down @@