Fail regress in github CI early.

Fail immediately after a broken test. Then the printed log files contain the reason of failure and not the last successful test. This may help to debug some races in the tests.
genua · Nov 27, 2023 · c7de0aa · c7de0aa
1 parent b7003b8
commit c7de0aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -27,6 +27,6 @@ jobs:
             echo == build ==
             make all
             echo == test ==
-            REGRESS_FAIL_EARLY=no SUDO=sudo make test 2>&1 | tee make.log
+            REGRESS_FAIL_EARLY=yes SUDO=sudo make test 2>&1 | tee make.log
             tail -n1000 regress/*.log
             ! grep -B1 FAILED make.log