Added verbose logging

viperproject · Aug 30, 2023 · 8272951 · 8272951
1 parent 3761def
commit 8272951
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
@@ -31,6 +31,8 @@ jobs:
       # Runs a single command using the runners shell
       - name: Run a one-line script
         run: ls 
+        env:
+          ACTIONS_STEP_DEBUG: true
 
       # Runs a set of commands using the runners shell
       - name: Run a multi-line script