diff --git a/.github/workflows/rng-tools.yml b/.github/workflows/rng-tools.yml index 44d3a20e206..2bfd3650a94 100644 --- a/.github/workflows/rng-tools.yml +++ b/.github/workflows/rng-tools.yml @@ -101,7 +101,9 @@ jobs: # Retry up to five times for i in {1..5}; do TEST_RES=0 - LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/build-dir/lib make check || TEST_RES=$? + time timeout -s SIGKILL 1m docker run -v $GITHUB_WORKSPACE:$GITHUB_WORKSPACE \ + -w `pwd` -e LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/build-dir/lib \ + ubuntu:latest bash -c "make check" || TEST_RES=$? if [ "$TEST_RES" -eq "0" ]; then break fi