added a way to tigger the workflow manually from github's web interface

g-raffy · Nov 7, 2023 · 6cf46a3 · 6cf46a3
1 parent 27fca61
commit 6cf46a3
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/pythonapp.yml b/.github/workflows/pythonapp.yml
@@ -8,6 +8,17 @@ on:
  branches: [ master ]
  pull_request:
  branches: [ master ]
+ workflow_dispatch: # so that this github workflow can be triggered manually
+ inputs:
+ logLevel:
+ description: 'Log level'
+ required: true
+ default: 'warning'
+ type: choice
+ options:
+ - info
+ - warning
+ - debug
 
 jobs:
  build:
@@ -59,4 +70,7 @@ jobs:
  pytest
  - name: Test with make
  run: |
+ echo "Log level: $LOGLEVEL (this environment variable is unused yet)"
  make clean; make test
+ env:
+ LOGLEVEL: ${{ inputs.logLevel }}