From 4172578c1b41d41ed4b8e4e7b86eec25f980f011 Mon Sep 17 00:00:00 2001
From: David Sisson <EpsilonPrime@users.noreply.github.com>
Date: Thu, 14 Mar 2024 19:16:50 -0700
Subject: [PATCH] Add timeout and retry to make the build hopefully more
 resilient.

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

diff --git a/.github/workflows/build_test.yml b/.github/workflows/build_test.yml
index 9599d73b..fa47dc45 100644
--- a/.github/workflows/build_test.yml
+++ b/.github/workflows/build_test.yml
@@ -45,4 +45,5 @@ jobs:
       - name: Build
         run: ninja -C build
       - name: Test
-        run: ctest --test-dir build --output-on-failure
+        run: ctest --test-dir build --output-on-failure --timeout 10 --repeat until-pass:5
+