From 955d0be18c10315e57310027327bd8d85f46f86e Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Mon, 24 Jun 2024 01:27:24 -0700
Subject: [PATCH] ci: add workflow dispatch inputs for pytest logging

---
 .github/workflows/test.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b908f418..6b5347a3 100644
--- 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 }}