Commit f92e32cfacdbf82172b06ce13d63eab65f205598

Anthony Green 2022-09-05T06:17:38

Try dribbling output during make check

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 23fe5e3..60fad0b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -146,7 +146,7 @@ jobs:
 
       - name: Run tests
         run: |
-          ssh -o StrictHostKeyChecking=no -o ConnectTimeout=10 -o ConnectionAttempts=3 -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "(cd t/$GITHUB_RUN_NUMBER; if test -f ~/.profile; then source ~/.profile; fi; make check > out.txt 2>&1; cat out.txt) || true; exit 0"
+          ssh -o StrictHostKeyChecking=no -o ConnectTimeout=10 -o ConnectionAttempts=3 -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "(cd t/$GITHUB_RUN_NUMBER; if test -f ~/.profile; then source ~/.profile; fi; make check &; CHECKPID=\$!; while kill -0 \$CHECKPID 2>/dev/null; do echo "Waiting for tests to finish"; sleep 15; done;"
 
       - name: Copy results and clean up
         run: |