Small tweak for GH workflow

SoftFever · Jul 1, 2024 · c6205fa · c6205fa
1 parent c762a45
commit c6205fa
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 8 deletions.
diff --git 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
@@ -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
@@ -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: