gh: Fix column name in sv-benchmark evaluation.

trailofbits · May 29, 2024 · ad15cbe · ad15cbe
1 parent 3b8ca5b
commit ad15cbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
@@ -284,7 +284,7 @@ jobs:
       - name: Generate the results
         run: |
           python3 sv-bench-patch/make_table.py \
-            --columns HighLevel,HighLevel without Unsupported \
+            --columns HighLevel,"HighLevel without Unsupported" \
             --files results-sv-hl-false/results.txt,results-sv-hl-true/results.txt \
             --output sv-comp-results