ci: remove redundant slurm_job_id write, improve bench log output

- run_monitored_slurm_job.sh: remove redundant .slurm_job_id write;
  submit-job.sh already writes it before the monitor is called, so the
  second write was a no-op in all code paths
- bench.yml: replace two separate per-case log steps with one organized
  step: prints a summary table (N failed, N passed) with all case names
  first, then full logs only for failed cases — passing runs stay concise

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: sbryngelson

.github/scripts/run_monitored_slurm_job.sh

@@ -18,10 +18,6 @@ output_file="$2"
 
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
-# Write job ID next to the output file so the workflow cancel step can scancel it
-# if GitHub Actions terminates the runner (SIGKILL cannot be caught by trap).
-echo "$job_id" > "${output_file%.out}.slurm_job_id"
-
 monitor_exit=0
 bash "$SCRIPT_DIR/monitor_slurm_job.sh" "$job_id" "$output_file" || monitor_exit=$?
 

.github/workflows/bench.yml

@@ -148,17 +148,26 @@ jobs:
       - name: Print Per-Case Logs
         if: always()
         run: |
+          passed=() failed=()
           for out in pr/build/benchmarks/*/*.out master/build/benchmarks/*/*.out; do
             [ -f "$out" ] || continue
-            yaml="${out%.out}.yaml"
-            if [ -f "$yaml" ]; then
-              echo "=== [PASSED] $out ==="
-            else
-              echo "=== [FAILED] $out ==="
-            fi
-            cat "$out"
+            [ -f "${out%.out}.yaml" ] && passed+=("$out") || failed+=("$out")
           done
 
+          echo "=== Per-Case Summary: ${#failed[@]} failed, ${#passed[@]} passed ==="
+          for out in "${failed[@]}"; do echo "  [FAILED] $out"; done
+          for out in "${passed[@]}"; do echo "  [PASSED] $out"; done
+
+          if [ ${#failed[@]} -gt 0 ]; then
+            echo ""
+            echo "=== Failed Case Logs ==="
+            for out in "${failed[@]}"; do
+              echo "--- $out ---"
+              cat "$out"
+              echo ""
+            done
+          fi
+
       # All other runners (non-Phoenix) just run without special env
       - name: Archive Logs (Frontier)
         if: always() && matrix.cluster != 'phoenix'