diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
index 237d355b..22ad3af0 100644
--- 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