Keep producing logs even if make hangs

This commit is contained in:
James Robson 2021-02-24 17:28:20 +00:00
parent e89387c089
commit 4cca2b651a

View file

@ -6,7 +6,6 @@ jobs:
gnu: gnu:
name: Run GNU tests name: Run GNU tests
runs-on: ubuntu-latest runs-on: ubuntu-latest
timeout-minutes: 240 # Kill after 4 hours in case something gets stuck
steps: steps:
# Checks out a copy of your repository on the ubuntu-latest machine # Checks out a copy of your repository on the ubuntu-latest machine
- name: Checkout code uutil - name: Checkout code uutil
@ -86,7 +85,7 @@ jobs:
GNULIB_DIR="${PWD}/gnulib" GNULIB_DIR="${PWD}/gnulib"
pushd gnu pushd gnu
unbuffer make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || : unbuffer timeout -sKILL 4h make -j "$(nproc)" check SUBDIRS=. RUN_EXPENSIVE_TESTS=yes RUN_VERY_EXPENSIVE_TESTS=yes VERBOSE=no || : # Kill after 4 hours in case something gets stuck in make
- name: Extract tests info - name: Extract tests info
shell: bash shell: bash
run: | run: |