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: