Workaround odd broken pipe when run in github actions

Author: Pascal Grange

tests/test_doc.sh

@@ -4,10 +4,8 @@ TEST_PATTERN='```test'
 OUTPUT_PATTERN='```output'
 LANG=C.UTF-8
 
-export FORCE_COLOR=false
 export STICK_TO_CWD=true
-BASH_UNIT="eval ./bash_unit"
-#BASH_UNIT="eval FORCE_COLOR=false ./bash_unit"
+BASH_UNIT="eval FORCE_COLOR=false ./bash_unit"
 
 prepare_tests() {
   mkdir /tmp/$$
@@ -21,14 +19,19 @@ prepare_tests() {
   while grep -E '^'"$TEST_PATTERN"'$' $remaining >/dev/null
   do
     ((++block))
-    run_doc_test  $remaining $swap |& sed '$a\' > $test_output$block
+    run_doc_test  $remaining $swap |& sed '$a\' | work_around_github_action_problem > $test_output$block
     doc_to_output $remaining $swap > $expected_output$block
     eval 'function test_block_'"$(printf %02d $block)"'() {
         assert "diff -u '"$expected_output$block"' '"$test_output$block"'"
       }'
   done
 }
 
+work_around_github_action_problem() {
+  # I have no idea what is happening with these broken pipes on github actions
+  grep -v '^/usr/bin/grep: write error: Broken pipe$'
+}
+
 function run_doc_test() {
   local remaining="$1"
   local swap="$2"