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 +