Add workflow_dispatch

.github/workflows/Remove_labels.yml

@@ -2,6 +2,7 @@ name: remove_labels
 on:
   pull_request_target:
     types: [synchronize]
+  workflow_dispatch:
 jobs:
   remove_label:
     runs-on: ubuntu-latest

.github/workflows/build_doc.yml

@@ -3,6 +3,7 @@ name: Documentation
 on:
   issue_comment:
       types: [created]
+  workflow_dispatch:
 
 permissions:
   contents: read # to fetch code (actions/checkout)

.github/workflows/checks.yml

@@ -1,6 +1,6 @@
 name: CMake Test Merge Branch
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 permissions:
   contents: read

.github/workflows/cmake-all.yml

@@ -1,6 +1,6 @@
 name: CMake Testsuite
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch:]
 
 permissions:
   contents: read

.github/workflows/delete_doc.yml

@@ -2,7 +2,7 @@ name: Documentation Removal
 
 on:
   pull_request_target:
-    types: [closed, removed]
+    types: [closed, removed, workflow_dispatch]
 permissions:
   contents: read
 

.github/workflows/demo.yml

@@ -1,6 +1,6 @@
 name: Test Polyhedron Demo
 
-on: [push, pull_request]
+on: [push, pull_request,workflow_dispatch]
 
 permissions:
   contents: read

.github/workflows/filter_testsuite.yml

@@ -3,6 +3,7 @@ name: Filter Testsuite
 on:
   issue_comment:
       types: [created]
+  workflow_dispatch:
 
 permissions: {}
 jobs: