From 44ef5f9dd12eb904bb57b2ae2314f151e1996814 Mon Sep 17 00:00:00 2001
From: Tom Pollard <tpollard@mit.edu>
Date: Thu, 31 Oct 2024 12:55:30 -0400
Subject: [PATCH] Prevent error if no benchmarks are run.

---
 .github/workflows/benchmark.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
index b095b02..6ef0dd4 100644
--- a/.github/workflows/benchmark.yml
+++ b/.github/workflows/benchmark.yml
@@ -111,9 +111,13 @@ jobs:
 
       - name: Concatenate results
         run: |
-          cat benchmark_results_*.txt > final_results.txt
-          echo "Benchmark results:"
-          cat final_results.txt
+          if ls benchmark_results_*.txt 1> /dev/null 2>&1; then
+            cat benchmark_results_*.txt > final_results.txt
+            echo "Benchmark results:"
+            cat final_results.txt
+          else
+            echo "No benchmarks were run." > final_results.txt
+          fi
 
       - name: Post results to pull request
         uses: actions/github-script@v7