ci: add workflow dispatch inputs for pytest logging

a16z · Jun 24, 2024 · 955d0be · 955d0be
1 parent 1d13bb2
commit 955d0be
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -6,6 +6,15 @@ on:
   pull_request:
     branches: [main]
   workflow_dispatch:
+    inputs:
+      log-level:
+        description: 'Log level'
+        required: true
+        default: ""
+        type: choice
+        options:
+          - ""
+          - "-s --log-cli-level=NOTSET"
 
 jobs:
   test:
@@ -42,4 +51,4 @@ jobs:
         run: python -m pip install -e .
 
       - name: Run pytest
-        run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} ${{ matrix.cache-solver }} --solver-timeout-assertion 0"
+        run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} ${{ matrix.cache-solver }} --solver-timeout-assertion 0" ${{ inputs.log-level }}