From 83388f0cfd5c9687d9288214356241dc015aee05 Mon Sep 17 00:00:00 2001
From: David Yonge-Mallo <dlyongemallo@users.noreply.github.com>
Date: Sat, 6 Apr 2024 22:29:43 +0200
Subject: [PATCH] Enforce that benchmarks_output.txt is kept up-to-date with
 code changes.

---
 .github/workflows/test.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 177ee76..c71f699 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -37,5 +37,7 @@ jobs:
     - name: Run benchmark
       run: |
         cd benchmarking
+        cp benchmarks_output.txt benchmarks_output.bak
         chmod +x ./run_benchmarks.sh
         ./run_benchmarks.sh
+        diff benchmarks_output.bak benchmarks_output.txt