From 3c7c4d11829b6dcc1412ce53f9ffbe2bbbf4adf0 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sun, 11 Feb 2024 17:01:20 +1100
Subject: [PATCH] github: add manual trigger where possible

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/compilation-checks.yml | 1 +
 .github/workflows/cparser.yml            | 1 +
 .github/workflows/manual.yml             | 1 +
 .github/workflows/pr.yml                 | 2 +-
 .github/workflows/preprocess-deploy.yml  | 1 +
 .github/workflows/push.yml               | 1 +
 .github/workflows/sel4test-sim.yml       | 1 +
 .github/workflows/xml_lint.yml           | 1 +
 8 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/compilation-checks.yml b/.github/workflows/compilation-checks.yml
index f7ef38791..de96211de 100644
--- a/.github/workflows/compilation-checks.yml
+++ b/.github/workflows/compilation-checks.yml
@@ -11,6 +11,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 # To reduce the load we cancel any older runs of this workflow for the current
 # PR. For deployment to the master branch, the workflow will run on each push,
diff --git a/.github/workflows/cparser.yml b/.github/workflows/cparser.yml
index 5321d5895..268dda12c 100644
--- a/.github/workflows/cparser.yml
+++ b/.github/workflows/cparser.yml
@@ -12,6 +12,7 @@ on:
   push:
     branches: [master]
   pull_request:
+  workflow_dispatch:
 
 jobs:
   cparser:
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index 960fb2300..177470a89 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -10,6 +10,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 jobs:
   manual:
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index f7449a29e..0fe9697cc 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -6,7 +6,7 @@
 
 name: PR
 
-on: [pull_request]
+on: [pull_request, workflow_dispatch]
 
 jobs:
   pr-checks:
diff --git a/.github/workflows/preprocess-deploy.yml b/.github/workflows/preprocess-deploy.yml
index d02721fcb..145ea9d48 100644
--- a/.github/workflows/preprocess-deploy.yml
+++ b/.github/workflows/preprocess-deploy.yml
@@ -10,6 +10,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
 
 jobs:
   code:
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 0dbe11093..6e8feee12 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -10,6 +10,7 @@ on:
     branches:
       - master
   pull_request:
+  workflow_dispatch:
 
 jobs:
   checks:
diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml
index bdf69b971..5ee990078 100644
--- a/.github/workflows/sel4test-sim.yml
+++ b/.github/workflows/sel4test-sim.yml
@@ -14,6 +14,7 @@ on:
       - 'manual/**'
       - 'LICENSES/**'
       - '*.md'
+  workflow_dispatch:
 
 jobs:
   sim:
diff --git a/.github/workflows/xml_lint.yml b/.github/workflows/xml_lint.yml
index 229073f83..b94fe08b8 100644
--- a/.github/workflows/xml_lint.yml
+++ b/.github/workflows/xml_lint.yml
@@ -21,6 +21,7 @@ on:
       - 'libsel4/**/sel4*.xsd'
       - 'libsel4/include/api/syscall.xml'
       - 'libsel4/include/api/syscall.xsd'
+  workflow_dispatch:
 
 jobs:
   xmllint: