ci: add manual trigger

sancus-tee · Jan 2, 2025 · 5a85f2b · 5a85f2b
1 parent 4abb889
commit 5a85f2b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml
@@ -1,6 +1,8 @@
 name: Run Sancus examples
 on:
   push:
+  # run on manual trigger
+  workflow_dispatch:
   pull_request:
   # trigger a cron job every monday at 8am
   schedule:
@@ -55,6 +57,8 @@ jobs:
             example: dma
           - core: sancus
             example: atomic-violation
+          # issue #22
+          - example: fileio
 
     steps:
       - uses: actions/checkout@v2