From c6205fa806f2eefb700d714d64e6232eadf34c67 Mon Sep 17 00:00:00 2001
From: SoftFever <softfeverever@gmail.com>
Date: Mon, 1 Jul 2024 21:32:02 +0800
Subject: [PATCH] Small tweak for GH workflow

---
 .github/workflows/check_profiles.yml       | 20 ++++++++++++++------
 .github/workflows/orca_bot.yml             |  8 +++++++-
 .github/workflows/publish_docs_to_wiki.yml |  8 +++++++-
 3 files changed, 28 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/check_profiles.yml b/.github/workflows/check_profiles.yml
index 6208a205fa3..3318cbf1c04 100644
--- a/.github/workflows/check_profiles.yml
+++ b/.github/workflows/check_profiles.yml
@@ -1,11 +1,19 @@
 name: Check profiles
 on: 
-    pull_request:
-      branches: 
-       - main 
-      paths:
-       - 'resources/profiles/**'
-       - ".github/workflows/check_profiles.yml"
+  pull_request:
+    branches: 
+    - main 
+    paths:
+    - 'resources/profiles/**'
+    - ".github/workflows/check_profiles.yml"
+
+  workflow_dispatch:
+    inputs:
+      logLevel:
+        description: 'Log level'     
+        required: true
+        default: 'warning'
+
 
 jobs:
   check_translation:
diff --git a/.github/workflows/orca_bot.yml b/.github/workflows/orca_bot.yml
index d69c263174a..f66bb651442 100644
--- a/.github/workflows/orca_bot.yml
+++ b/.github/workflows/orca_bot.yml
@@ -2,7 +2,13 @@ name: Orca bot
 on:
   schedule:
     - cron: "0 0 * * *"
-
+  workflow_dispatch:
+    inputs:
+      logLevel:
+        description: 'Log level'     
+        required: true
+        default: 'warning'
+        
 jobs:
   stale:
     runs-on: ubuntu-latest
diff --git a/.github/workflows/publish_docs_to_wiki.yml b/.github/workflows/publish_docs_to_wiki.yml
index a9cc408e852..f86a88b9b1b 100644
--- a/.github/workflows/publish_docs_to_wiki.yml
+++ b/.github/workflows/publish_docs_to_wiki.yml
@@ -8,6 +8,13 @@ on:
     branches:
       - main # This can be changed to any branch of your preference
 
+  workflow_dispatch:
+    inputs:
+      logLevel:
+        description: 'Log level'     
+        required: true
+        default: 'warning'
+
 env:
   USER_TOKEN: ${{ secrets.GH_WIKI_PAT }} # This is the repository secret personal access token
   USER_NAME: ${{ vars.BOT_USER_NAME }} # Enter the username of your (bot) account
@@ -16,7 +23,6 @@ env:
 
 jobs:
   publish_docs_to_wiki:
-    if: ${{ ! env.ACT }} # Skip if using `act`
     name: Publish docs to Wiki
     runs-on: ubuntu-latest
     steps: